Vous êtes sur la page 1sur 11

Autmato Finito Determinstico

Considere a seguinte linguagem sobre o alfabeto = {0,1} e


construa o autmato que o represente
L1 = {w *| w comece com um 0, seguido de n 1, sendo n
> 0}

O autmato reconhece as palavras abaixo?


01
01111
01110

1 Jos Couto Jnior - jose.junior@pro.unifacs.br


Autmato Finito Determinstico
Considere a seguinte linguagem sobre o alfabeto = {0,1} e
construa o autmato que o represente
L1 = {w *| w possua apenas 1 ocorrncia de 0}

O autmato reconhece as palavras abaixo?


011
11001
11011

2 Jos Couto Jnior - jose.junior@pro.unifacs.br


Autmato Finito Determinstico
Considere a seguinte linguagem sobre o alfabeto = {0,1} e
construa o autmato que o represente
L1 = {w *| w possua 01}

O autmato reconhece as palavras abaixo?


011
11001
1110
11011
Jos Couto Jnior - jose.junior@pro.unifacs.br
3
Autmato Finito Determinstico
Considere a seguinte linguagem sobre o alfabeto = {a,b} e
construa o autmato que o represente
L1 = {w *| w possui nmero mpar de a}

O autmato reconhece as palavras abaixo?


aba
abaaa
4 a
Jos Couto Jnior - jose.junior@pro.unifacs.br
Autmato Finito Determinstico
Considere a seguinte linguagem sobre o alfabeto = {a,b} e
construa o autmato que o represente
L1 = {w *| w possui aa ou bb como subpalavra}

5 Jos Couto Jnior - jose.junior@pro.unifacs.br


Autmato Finito Determinstico
Representao de d
Defina o autmato abaixo (M = (, Q, d, q0, F) )
= {a,b}
Q = {q0,q1,q2,q3}
q0 = q0
F = {q3}

d a b
q0
q1
q2
q3
6 Jos Couto Jnior - jose.junior@pro.unifacs.br
Autmato Finito Determinstico
Considere a seguinte linguagem sobre o alfabeto = {a,b} e
construa o autmato que o represente
L1 = {w *| w possui nmero par de a e nmero par de
b}
Defina o autmato (M = (, Q, d, q0, F) )

7 Jos Couto Jnior - jose.junior@pro.unifacs.br


Autmato Finito No Determinstico
Considere a seguinte linguagem sobre o alfabeto = {a,b} e
construa o autmato que o represente
L1 = {w *| w possui aa ou bb como subpalavra}
Defina o autmato (M = (, Q, d, q0, F))

8 Jos Couto Jnior - jose.junior@pro.unifacs.br


Autmato Finito No Determinstico
Considere a seguinte linguagem sobre o alfabeto = {0,1},
construa o autmato que o represente
L1 = {w *| w possui pelo menos duas ocorrncias de 1}
Defina o autmato (M = (, Q, d, q0, F))

9 Jos Couto Jnior - jose.junior@pro.unifacs.br


Autmato Finito No Determinstico
Considere a seguinte linguagem sobre o alfabeto = {a,b} e
construa o autmato que o represente
L1 = {w *| w possui aaa como sufixo}
Defina o autmato (M = (, Q, d, q0, F))

10 Jos Couto Jnior - jose.junior@pro.unifacs.br


Autmato Finito No Determinstico
Construa o AFD equivalente ao autmato anterior

11 Jos Couto Jnior - jose.junior@pro.unifacs.br