Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Instalar
Acesso mais rápido do que o navegador!
 

Formalismo de Backus-Naur Estendido

Índice Formalismo de Backus-Naur Estendido

Em ciência da computação, Formalismo de Backus-Naur Estendido (também conhecido como EBNF) é uma família de notações meta-sintaxe, qualquer que pode ser usado para expressar uma gramática livre de contexto.

15 relações: Cadeia vazia, Ciência da computação, Concatenação, Expressão regular, Formalismo de Backus-Naur, Gramática livre de contexto, Internet Engineering Task Force, Linguagem de programação, Linguagem formal, Número natural, Niklaus Wirth, Organização Internacional de Normalização, Regras de estrutura frasal, W3C, XML.

Cadeia vazia

Na Ciência da Computação e na Teoria das linguagens formais, a cadeia vazia é a única cadeia de comprimento zero.

Novo!!: Formalismo de Backus-Naur Estendido e Cadeia vazia · Veja mais »

Ciência da computação

A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.

Novo!!: Formalismo de Backus-Naur Estendido e Ciência da computação · Veja mais »

Concatenação

Concatenação é um termo usado em computação para designar a operação de unir o conteúdo de duas strings.

Novo!!: Formalismo de Backus-Naur Estendido e Concatenação · Veja mais »

Expressão regular

Em ciência da computação, uma expressão regular (do inglês regular expression, abreviado regex ou regexp) provê uma forma concisa e flexível de identificar cadeias de caracteres de interesse, como caracteres particulares, palavras ou padrões de caracteres.

Novo!!: Formalismo de Backus-Naur Estendido e Expressão regular · Veja mais »

Formalismo de Backus-Naur

O Formalismo de Backus-Naur (BNF, do inglês Backus-Naur Form ou Backus Normal Form) é uma metassintaxe usada para expressar gramáticas livres de contexto, isto é, um modo formal de descrever linguagens formais.

Novo!!: Formalismo de Backus-Naur Estendido e Formalismo de Backus-Naur · Veja mais »

Gramática livre de contexto

A gramática livre de contexto (GLC), em teoria de linguagem formal, é uma gramática formal onde todas as regras de produções são da forma A\ \to\ \alpha A é um símbolo não terminal, e \alpha é uma cadeia de terminal e/ou não terminais (\alpha pode ser vazia). Uma linguagem formal é considerada “livre do contexto” quando suas regras de produções podem ser aplicadas independentemente do contexto do simbolo não terminal.

Novo!!: Formalismo de Backus-Naur Estendido e Gramática livre de contexto · Veja mais »

Internet Engineering Task Force

Internet Engineering Task Force (IETF) é um grupo internacional aberto, composto de técnicos, agências, fabricantes, fornecedores e pesquisadores, que se ocupa do desenvolvimento e promoção de standards para Internet, em estreita cooperação com o World Wide Web Consortium e ISO/IEC, em particular TCP/IP e o conjunto de protocolos Internet.

Novo!!: Formalismo de Backus-Naur Estendido e Internet Engineering Task Force · Veja mais »

Linguagem de programação

C. A linguagem de programação é um método padronizado, formado por um conjunto de regras sintáticas e semânticas, de implementação de um código fonte - que pode ser compilado e transformado em um programa de computador, ou usado como script interpretado - que informará instruções de processamento ao computador.

Novo!!: Formalismo de Backus-Naur Estendido e Linguagem de programação · Veja mais »

Linguagem formal

Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.

Novo!!: Formalismo de Backus-Naur Estendido e Linguagem formal · Veja mais »

Número natural

Um número natural é um número inteiro não negativo \. Em alguns contextos, número natural é definido como um número inteiro positivo, sendo também o zero considerado como um número natural (mesmo não sendo positivo e sim nulo/neutro): \. O conjunto dos números naturais é, comumente, denotado pelo símbolo \mathbb.

Novo!!: Formalismo de Backus-Naur Estendido e Número natural · Veja mais »

Niklaus Wirth

Niklaus Emil Wirth (Winterthur) é um professor e cientista da computação suíço.

Novo!!: Formalismo de Backus-Naur Estendido e Niklaus Wirth · Veja mais »

Organização Internacional de Normalização

A (International Organization for Standardization; L'Organisation internationale de normalisation), popularmente conhecida como ISO é uma entidade que congrega os grémios de padronização/normalização de 162 países.

Novo!!: Formalismo de Backus-Naur Estendido e Organização Internacional de Normalização · Veja mais »

Regras de estrutura frasal

Regras de estrutura frasal são maneiras de descrever uma dada linguagem sintaxe e estão intimamente associadas com os estágios iniciais da gramática transformacional.

Novo!!: Formalismo de Backus-Naur Estendido e Regras de estrutura frasal · Veja mais »

W3C

O World Wide Web Consortium (W3C) é a principal organização de padronização da World Wide Web.

Novo!!: Formalismo de Backus-Naur Estendido e W3C · Veja mais »

XML

Em informática, XML (Extensible Markup Language) é um tipo de linguagem de marcação da W3C, derivada da linguagem SGML, utilizada para compartilhamento fácil de informações por intermédio da internet, através da criação de documentos com dados organizados hierarquicamente para ser usado por diferentes sistemas informatizados (portabilidade); ou seja, tem objetivo de garantir que documentos codificados de acordo com suas regras possam ser transportados de um ambiente de hardware e software para outro sem perda de informação, usando a potencialidade e flexibilidade da SGML de forma simplificada.

Novo!!: Formalismo de Backus-Naur Estendido e XML · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »