Next: Simulação do funcionamento de
Up: Autómatos Finitos Previous: Autómatos Finitos Deterministas
Uma das limitações dos AFDs consiste na limitação do resultado do reconhecimento,
formado apenas pela indicação aceita/não aceita. Para tornar estes autómatos
mais potentes, foram propostas extensões que permitissem a execução de acções
arbitrárias durante o reconhecimento de frases de entrada. O mecanismo que vamos agora
estudar é designado por AFD reactivo ou AFD com acções semânticas. Um
AFD reactivo é definido como um sêxtuplo
onde E é o conjunto (finito) de estados admissíveis; S o
conjunto dos símbolos de entrada; a função de transição; o estado
inicial; o conjunto dos estados finais (não vazio); e R um conjunto de
acções semânticas. Os AFD reactivos podem, tal como vimos para os AFDs, ser
representados graficamente por um grafo etiquetado. Só que agora uma transição deve
ler-se ``o autómato transita do estado e1 para o estado e2 e executa a
acção r, através do reconhecimento do símbolo s''.