resumo Linguagens de Programação - prova 1

Esta é uma pré-visualização de arquivo. Entre para ver o arquivo original

Uma sentença é uma cadeia de caracteres sobre um alfabeto.
Uma linguagem é um conjunto de sentenças.
Um lexema é a unidade sintática do menor nível em uma linguagem.
Um token é uma categoria de lexemas.
Reconhecedor: Um dispositivo que lê as cadeias de entrada sobre o alfabeto de uma linguagem e decide se elas pertencem à linguagem. 
Gerador: Um dispositivo que produz sentenças de uma linguagem a partir de suas regras.
Gramática: Um conjunto finito e não vazio de regras.
Derivação: É uma aplicação repetida das regras, começando pelo símbolo inicial
e terminando com uma sentença (tudo símbolo terminal).
Forma sentecial: Cada cadeia de símbolos em uma derivação. Cada passo intermediário.
Árvore de parse: É uma representação hierárquica de uma derivação.
BNF: Um dispositivo de descrição de gramáticas que utiliza símbolos não terminais(abstrações) e símbolos terminais (lexemas e tokens).
Gramática ambígua: É aquela que gera uma mesma sentença com duas ou mais árvores de parse distintas.
EBNF: BNF estendido.
Regras de EBNF:
- Partes opcionais são colocadas entre colchetes [ ].
- Partes alternativas do lado direito são colocadas entre () e separadas por barras verticais.
- Repetições (0 ou mais vezes) são colocadas entre chaves { }.
- Eliminar recursividade, colocar símbolos terminais.
Semântica estática: Regras que não podem ser representads em BNF.
Gramática de atributos: é uma formalização que permite definir os atributos para as 
produções de uma gramática formal, associando estes atributos com valores.
Semântica operacional: Descreve o significado de um programa
executando seus comandos em uma máquina que pode ser real ou hipotética 
Semântica denotacional:Baseado em recursão, definir matemáticamente cada entidade da
linguagem
Semântica axiomática: Baseada em lógica de predicados (de primeira ordem).
As expressões lógicas usadas são chamadas de asserções.