Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE

Apresentação em tema: "Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE"— Transcrição da apresentação:

1 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

2 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

3 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

4 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

5 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

6 Unidade de controle Inicialmente, o cabeçote está na posição mais à esquerda da fita

7 Programa ou Função de Transição
Dependente de: Estado corrente Símbolo lido Determina o novo estado do autômato

8 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

9 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

10 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

11 Representação Formal - AFD

12 Representação A Função de transição pode ser representada como um grafo direto:

13 Representação Estado inicial e estado final:

14 Exemplo - AFD

15 Exemplo - AFD

16 Exemplo 1

17 Exemplo 1