Especificação de uma
linguagems
Na forma da linguagem BNF
sintaxe:{regra}
Na forma de diagrama de sintaxe
O que é
É um processo composto
por regras com o objetivo de analisar um sequencia de simbolos para
especificar uma linguagem gerada por uma gramática.
Quem usa
Para quem lê e escreve
algum texto utilizando: sequencia, alternativa, repetição
Ver notação
Quem cria
Para quem cria uma
linguagem
Ver notação
Ver gerador
de diagrama de sintaxe
Maquina de estado
(ou automato finito ou grafo)
Lógica : O próximo estado é uma função da entrada e a saída é uma função do atual estado.
Tipos
de maquinas: As Máquinas de Moore (emitem saida no estados) e de Mealy
(emitem saida na transição) são Autômatos Finitos com Saída. Elas
são equivalentes para entradas não vazias. Com uma entrada vazia a
Máquina de Mealy não gera saída pois não executa nenhuma transição (a
saída está associada à transição), enquanto que a Máquina de Moore gera
a palavra correspondente ao estado inicial (a saída está associada ao
estado). Uma Máquina de Mealy possui, em geral, menos estados que a
correspondente Máquina de Moore.
Representações no
computador
Grafo => Lista
e Matriz
Tabela de transição de estados
ou