Autômatos Finitos Determinísticos Não há transição-e; para cada estado s, dado um símbolo de entrada a, existe, no máximo, um lado rotulado a deixando s. Autômato Finito não-determinístico para (a|b)*abb
Autômatos Finitos Determinísticos Autômato Finito determinístico para (a|b)*abb
Conversão de AFN para AFD Autômatos finitos não-determinísticos precisam lidar com situações de ambigüidade, como no caso de um estado a partir do qual parte mais de uma transiçao vazia. É possível eliminar essas ambigüidades através da construção de um autômato finito determinístico que é equivalente a um autômato finito não-determinístico. Estratégia de Conversão de AFN para AFD: - construção de subconjuntos - estado original => novo estado - algoritmo: página 53 - Aho.
Implementando An. Léxico Funções do Analisador Léxico: localizar/abrir o arquivo fonte; separar tokens; classificar tokens; eliminar comentários; eliminar brancos; gerar uma lista dos tokens classificados; fechar arquivo.
Exercícios 1. Elaborar um DFD relativo à análise léxica. 2. Separar, classificando os elementos terminais da gramática relativa ao mini Pascal. 3. Elaborar um AFN que reconheça: a*b*ab 4. Elaborar um AFD que reconheça a mesma linguagem.