Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson...
-
Upload
fernando-camilo-araujo -
Category
Documents
-
view
226 -
download
0
Transcript of Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson...
Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADEAutômatos Finitos
Prof. Jefferson MoraisE-mail: [email protected]
UNIVERSIDADE FEDERAL DO PARÁINSTITUTO DE CIÊNCIAS EXATAS E NATURAIS
FACULDADE DE COMPUTAÇÃOCURSO DE BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO
2
Sistemas de Estados Finitos
Modelo matemático de sistema com entradas e saídas discretasPode assumir um número finito e pré-
determinado de estadosCada 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 entradaUnidade 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
Programa ou Função de Transição
Dependente de:Estado correnteSímbolo lido
Determina o novo estado do autômato
7
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
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
Representação Formal - AFD
11
Representação
A Função de transição pode ser representada como um grafo direto:
12
Representação
Estado inicial e estado final:
13
Exemplo - AFD
14
Exemplo - AFD
15
Exemplo 1
16
Exemplo 1
17