Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson...

17
Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: [email protected] UNIVERSIDADE FEDERAL DO PARÁ INSTITUTO DE CIÊNCIAS EXATAS E NATURAIS FACULDADE DE COMPUTAÇÃO CURSO DE BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO

Transcript of Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson...

Page 1: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

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

Page 2: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

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

Page 3: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

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

Page 4: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

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

Page 5: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

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

Page 6: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

6

Unidade de controle

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

Page 7: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

Programa ou Função de Transição

Dependente de:Estado correnteSímbolo lido

Determina o novo estado do autômato

7

Page 8: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

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

Page 9: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

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

Page 10: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

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

Page 11: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

Representação Formal - AFD

11

Page 12: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

Representação

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

12

Page 13: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

Representação

Estado inicial e estado final:

13

Page 14: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

Exemplo - AFD

14

Page 15: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

Exemplo - AFD

15

Page 16: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

Exemplo 1

16

Page 17: Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Autômatos Finitos Prof. Jefferson Morais E-mail: jmorais@ufpa.brjmorais@ufpa.br UNIVERSIDADE.

Exemplo 1

17