Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADEAutômatos Finitos

Prof. Jefferson MoraisE-mail: jmorais@ufpa.br

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