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

Formalismo de Backus-Naur

Índice 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.

24 relações: ALGOL, Ashtadhyāyi, Ciência da computação, Compilador, Conjunto de instruções, Donald Knuth, Espaço (sinal), Expressão, Expressão regular, GNU bison, Gramática, Gramática livre de contexto, John Backus, Língua natural, Linguagem de programação, Linguagem formal, Metalinguagem, Notação, Pānini, Peter Naur, Protocolo (ciência da computação), Sânscrito, Símbolo, Yacc.

ALGOL

O ALGOL é uma família de linguagens de programação de alto nível voltadas principalmente para aplicações científicas.

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

Ashtadhyāyi

O Aṣṭādhyāyī de Pāṇini é um tratado sobre gramática do sânscrito.

Novo!!: Formalismo de Backus-Naur e Ashtadhyāyi · 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 e Ciência da computação · Veja mais »

Compilador

GCC versão 4.0.2 rodando em uma janela xterm. Um programa simples está sendo compilado e então executado. Um compilador é um programa de computador (ou um grupo de programas) que, a partir de um código fonte escrito em uma linguagem compilada, cria um programa semanticamente equivalente, porém escrito em outra linguagem, código objeto.

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

Conjunto de instruções

Conjunto de instruções (tradução de instruction set) são as operações que um processador, microprocessador, microcontrolador, CPU ou outros periféricos programáveis suporta, fornece ou disponibiliza para o programador, ou seja, é a representação em mnemônicos do código de máquina, com a finalidade de facilitar o acesso ao componente.

Novo!!: Formalismo de Backus-Naur e Conjunto de instruções · Veja mais »

Donald Knuth

Donald Ervin Knuth (Milwaukee) é um cientista computacional de renome e professor emérito da Universidade de Stanford.

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

Espaço (sinal)

Na escrita em geral, um sinal de espaço — também conhecido como espaço em branco, espaço tipográfico ou simplesmente espaço — refere-se ao caractere invisível que é representado por um intervalo unitário vazio.

Novo!!: Formalismo de Backus-Naur e Espaço (sinal) · Veja mais »

Expressão

*Ballet Expressão — companhia de balé e escola de dança brasileiras.

Novo!!: Formalismo de Backus-Naur e Expressã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 e Expressão regular · Veja mais »

GNU bison

GNU bison é um software livre compilador de compilador escrito para o projeto GNU, e disponível para quase todos os sistemas operacionais.

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

Gramática

Gramática (do grego: γραμματική, transl. grammatiké, feminino substantivado de grammatikós) designa conjunto de prescrições e regras que determinam o uso considerado correto da língua escrita e falada.

Novo!!: Formalismo de Backus-Naur e Gramática · 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 e Gramática livre de contexto · Veja mais »

John Backus

John Warner Backus (Filadélfia, — Ashland) foi um cientista da computação estadunidense.

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

Língua natural

Língua natural (língua humana, língua idiomática, ou somente língua ou idioma) é qualquer linguagem desenvolvida naturalmente pelo ser humano, de forma não premeditada, como resultado da facilidade inata para a linguagem possuída pelo intelecto humano.

Novo!!: Formalismo de Backus-Naur e Língua natural · 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 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 e Linguagem formal · Veja mais »

Metalinguagem

Em lógica e linguística, uma metalinguagem é uma linguagem usada para descrever algo sobre outra(s) linguagens (linguagens objeto).

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

Notação

*Notação matemática.

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

Pānini

Pāṇini (Devanāgarī: पाणिनि; patronímico que significa "descendente de Paṇi"), nascido em Gandara (c. – c.), foi um gramático indiano que compôs uma gramática sânscrita com o nome Aṣṭādhyāyī (sânscrito transliterado aṣṭa.

Novo!!: Formalismo de Backus-Naur e Pānini · Veja mais »

Peter Naur

Peter Naur (Frederiksberg, — Herlev) foi um informático dinamarquês.

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

Protocolo (ciência da computação)

Na ciência da computação, um protocolo é um padrão (conjunto de regras convencionadas) que controla e possibilita a conexão, comunicação e, transferência de dados entre dois sistemas computacionais; ou seja, em uma rede de computadores o protocolo é o responsável pela comunicação entre os computadores (a linguagem padrão de comunicação) e também responsável pela troca de dados entre eles, independente da localização e independente do sistema operacional/plataforma utilizada nesses equipamentos.

Novo!!: Formalismo de Backus-Naur e Protocolo (ciência da computação) · Veja mais »

Sânscrito

O sânscrito ou língua sânscrita (संस्कृत; transcrito em IAST) é uma língua ancestral do Nepal e da Índia.

Novo!!: Formalismo de Backus-Naur e Sânscrito · Veja mais »

Símbolo

O termo símbolo, com origem no grego symbolon (σύμβολον), designa um tipo de signo em que o significante (realidade concreta) representa algo abstrato (religiões, nações, quantidades de tempo ou matéria, etc.) por força de convenção, semelhança ou contiguidade semântica (como no caso da cruz que representa o cristianismo, porque ela é uma parte do todo que é imagem do Cristo morto).

Novo!!: Formalismo de Backus-Naur e Símbolo · Veja mais »

Yacc

yacc (acrônimo para Yet Another Compiler Compiler) é um gerador de analisador sintático desenvolvido por Stephen C. Johnson da AT&T para o sistema operacional Unix.

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

Redireciona aqui:

FNB, Forma Aumentada de Backus-Naur, Forma Normal Backus-Naur, Forma Normal De Backus-Naur, Forma Normal de Backus, Forma aumentada de Backus-Naur, Forma de Panini-Backus, Formalismo de backus-naur.

CessanteEntrada
Ei! Agora estamos em Facebook! »