Automato

Aula 4
24/11/98- Implementação de linguagens. Interdependência de projetos de linguagens e processadores.
Regras de especificação de linguagens de programação
As regras de especificação de uma linguagem de programação atualmente podem ser classificadas como
Sintáticas -
Lexicas: descrevem as unidades atômicas da linguagem em relação a um alfabeto de entrada.
Livres de contexto: descrevem as construções permitidas na linguagem, através da substituição de variáveis gramaticais por sequencias de variáveis e tokens (regras de produção).
Semânticas -
Estáticas: descrevem as construções permitidas na linguagem, em regras que podem ser descritas por atributos de lexemas mas que não têm expressão em termos de produções gramaticais livres de contexto (Ex: regras de escopo, regras de compatibilidade de tipos)
Dinâmicas: descrevem o comportamento dos elementos de um programa durante a execução.
Modelos formais de especificação semântica
Operacional -
Descreve a execução de construções da linguagem através de sua interpretação em uma máquina virtual
Axiomático -
Descreve a execução de construções da linguagem através de mudanças nas relações e predicados entre variáveis do programa (úteis para verificar a correção de programas em relação a especificações de mais alto nível, mas não conseguem descrever limitações de recursos)
Denotacional -
Descreve a execução de construções da linguagem através de operações em um formalismo algébrico inspirado nas construções sintáticas da linguagem Linguagens versus compiladores
Linguagens compiláveis precisam de um mínimo de estrutura estática em suas construções para permitir alguma separação entre tradução e execução, não podendo conter operadores cuja tradução requer informação presente apenas em tempo de execução.
Mínimo de estrutura estática para compilação -
Sintaxe
Escopo de identificadores
Amarração de tipos a ocorrencias de identificadores
Influências recíprocas entre linguagens e arquiteturas de