Disciplina: Teoria da Computação

Aula 5: Autômatos Finitos – parte 2

Apresentação

Objetivo

Equivalência entre autômatos

determinísticos indeterminísticos

Autômatos nitos indeterminísticos e determinísticos

 Controle
Conjunto de estados Conjunto de transições

Conversão entre autômatos nitos

Autômatos nitos indeterminísticos para determinístico

Propriedades

linguagem L
nito
determinístico

nito
indeterminístico


 Clique no botão acima.

Passo a passo

0 1

➔ q0

q1

*q2

0 1

0 1

➔ q0

0 1

➔ q0
 0 1

➔ q0

{q0, q1}

0 1

➔ q0

{q0, q1}

{q0, q2}

0 1

➔ q0

{q0, q1}

*{q0, q2}

0 1

➔A

*C
 Clique nos botões para ver as informações.

0 1

➔ q1

*q2

0 1

➔ {q1}

*q2


 

0 1 2 Є

q0

q1

q2
 Exemplo:

Equivalência entre autômatos nitos indeterminísticos com

transições Ԑ para autômatos nitos determinísticos
Conversão entre autômatos nitos determinísticos para autômatos nitos
indeterminísticos com transição Ԑ

Atividades

0 1

➔p

*s
 0 1

➔* q0

* q1

* q2

ε a b c

➔p

*r

ε a b

➔*1

3
Notas
Referências

Introdução à teoria dos autômatos, linguagens e computação

Introdução à teoria da computação

Próxima aula

Explore mais

Leia os seguintes livros:

Linguagens Formais e Autômatos

Automata Theory with Modern Applications