Aluno: Lucas de Oliveira Darcio

Matrícula:

EXERCÍCIO SOBRE AUTÔMATOS FINITOS NÃO-DETERMINÍSTICOS

1)
letra a)

letra b)
estados ativos cadeias comentários

{q0} está ativo sem ler nada

{q0} a lendo “a” ele continua ativo

em q0

{q0, q1} ac q1 agora está ativo junto

com q0

{q0, q2} aca q1 deixa de estar ativo e q2

fica ativo em seu lugar, e o
q0 continua ativo

{q0, q1} acac q0 continua ativo, de q0, q1

é ativado, e q2 é desativado

{q0, q2} acaca q0 continua ativo, q1 ativa

q2

{q0, q3} acacab q0 continua ativa, q2 ativa

q3, que é o estado final.
A cadeia é aceita porque termina no estado final.
 letra c)

letra d)

cadeia estado comentário

{q0} estado inicial

a {q0} continua em q0

ac {q1} de q0 vai pra q1

aca {q2} q1 para q2

acac {q1} de q2 para q1

acaca {q2} q1 para q2

acacab {q3} de q2 para q3, que é o

estado final
A cadeia é aceita por terminar no estado final.

letra e)
-AFN:
estados cadeia comentários

{q0} estado inicial

{q0} a q0 continua ativo

{q0} ab q0 continua ativo

{q0} abb q0 continua ativo

{q0,q1} abbc q0 continua ativo, e de q0,

q1 é ativado, e a cadeia
termina.
Cadeia rejeitada por não terminar no estado final.
-AFD:

cadeia estados comentários

{q0} estado inicial

a {q0} continua em q0

ab {q0} continua em q0

abb {q0} continua em q0

abbc {q1} de q0 vai para q1 e a cadeia

termina.
Cadeia rejeitada por não terminar no estado final.

letra f)
-AFN:

estados cadeia comentários

{q0} estado inicial

{q0} a q0 continua ativo

{q0} ab q0 continua ativo

{q0} abb q0 continua ativo e a cadeia

termina.
Cadeia rejeitada por não terminar no estado final.
-AFD:

cadeia estado comentários

{q0} estado inicial

a {q0} continua em q0

ab {q0} continua em q0

abb {q0} continua em q0 e a cadeia

termina.
Cadeia rejeitada por não terminar no estado final.
2)
letra a)

letra b)
E(q0) = {q0, q1, q2};
E(q1) = {q1};
E(q2) = {q2};
E(q3) = {q3};
E(q4) = {q4};

letra c)

estados cadeia comentários

{q0, q1, q2} estado inicial, q0, q1 e q2

estão ativos

{q2, q1, q3} a q1, q2 e q3 ativos

{q1, q2} ab q1 e q2 ativos

{q1, q2, q4} abc q1, q2 e q4 ativos

{q1, q2, q3} abca q1, q2 ativos, q1 ativa q3

que é um estado final.
Cadeia aceita por terminar em um estado final.

letra d)
 letra e)
-AFN:
estados cadeia comentário

{q0, q1, q2} estado inicial q0, q1 e q2

estão ativos

{q1, q2, q3} a q1, q2 continuam ativos, q1

ativa q3

{q1, q2} ab q1 e q2 continuam ativos

{q1, q2} abb q1 e q2 continuam ativos

{q1, q2, q3, q4} abbc q1 e q2 continuam ativos,

q1 ativa q3 e q2 ativa q4
Cadeia aceita por terminar em estado final.
-AFD:
cadeia estado comentário

{q0} estado inicial

a {q1} de q0 vai pra q1

ab {q2} de q1 vai pra q2

abb {q2} continua em q2

abbc {q3} de q2 vai pra q3 que é um

estado final
Cadeia aceita por terminar em um estado final.

letra f)
-AFN:

estados cadeias comentários

{q0, q1, q2} estado inicial q0, q1 e q2

estão ativos

{q1, q2, q3} a q1, q2 continuam ativos, q1

ativa q3

{q1, q2} ab q1 e q2 continuam ativos

{q1, q2} abb q1 e q2 continuam ativos,

que não é estado final.
Cadeia rejeitada por não terminar em um estado final.

-AFD:

cadeia estados comentários

{q0} estado inicial

a {q1} de q0 vai pra q1

ab {q2} de q1 vai pra q2

abb {q2} continua em q2, que não é

estado final.
cadeia rejeitada por não terminar em estado final.