Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE UNIVERSIDADE FEDERAL DO PARÁ INSTITUTO DE CIÊNCIAS EXATAS E NATURAIS FACULDADE DE COMPUTAÇÃO CURSO DE BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.br
Sistemas de Estados Finitos Modelo matemático de sistema com entradas e saídas discretas Pode assumir um número finito e pré-determinado de estados Cada estado resume as informações passadas Podem ser associados a diversos tipos de sistemas
Autômatos Finitos Reconhecedores de Linguagens Regulares Pouca complexidade, grande eficiência e fácil implementação Modelo composto de 3 partes: Fita de entrada Unidade de Controle Finito (Cabeçote) Programa
Fita de entrada Finita Dividida em células de armazenamento Símbolos armazenados pertencem ao alfabeto de entrada definido Não permite gravação Totalmente ocupada pela sentença a ser processada
Unidade de controle Possui um número finito e pré-definido de estados Indica qual é o estado atual do AF Controla um cabeçote de leitura que lê um símbolo da fita de cada vez Move o cabeçote para a direita, a cada símbolo lido
Unidade de controle Inicialmente, o cabeçote está na posição mais à esquerda da fita
Programa ou Função de Transição Dependente de: Estado corrente Símbolo lido Determina o novo estado do autômato
Parada do Autômato Finito Um AF sempre pára ao processar qualquer entrada A parada do AF pode aceitar ou rejeitar a senteça de entrada
Parada do Autômato Finito Um AF sempre pára ao processar qualquer entrada A parada do AF pode aceitar ou rejeitar a senteça de entrada
Parada do Autômato Finito Um AF sempre pára ao processar qualquer entrada A parada do AF pode aceitar ou rejeitar a senteça de entrada
Representação Formal - AFD
Representação A Função de transição pode ser representada como um grafo direto:
Representação Estado inicial e estado final:
Exemplo - AFD
Exemplo - AFD
Exemplo 1
Exemplo 1