Autômatos e Computabilidade – Teste 2

Construa um AFD que reconheça a linguagem

L = {w| o comprimento de w é pelos menos 3 e o terceiro sı́mbolo é um 0}.

Desenhe o diagrama de estados e forneça também a definicão formal. Considere o alfabeto {0, 1}.

Resposta:
0,1 0,1 0
q0 q1 q2 q3 0,1

q4 0,1

Definição formal: M = (Q, Σ, δ, q0 , F ), onde Q = {q0 , q1 , q2 , q3 , q4 }, F = {q3 } e δ : Q × Σ → Q

é definida pela tabela
0 1
q0 q1 q1
q1 q2 q2
q2 q3 q4
q3 q3 q3
q4 q4 q4

Construa um AFD que reconheça a linguagem

L = {w| w contém um 0 em cada posição ı́mpar}.

Desenhe o diagrama de estados e forneça também a definicão formal. Considere o alfabeto {0, 1}.

Resposta: 0
q0 q1
0,1
1

q2 0,1

Definição formal: M = (Q, Σ, δ, q0 , F ), onde Q = {q0 , q1 , q2 }, F = {q1 } e δ : Q × Σ → Q é

definida pela tabela
0 1
q0 q1 q2
q1 q0 q0
q2 q2 q2
Construa um AFN que reconheça a linguagem
{w| o comprimento de w é divisı́vel por 3 ou w começa com 0}.
Desenhe o diagrama de estados e forneça também a definicão formal. Considere o alfabeto {0, 1}.
Resposta:

q1 0 q2 0,1
ε
q0
ε
0, 1 0, 1
q3 q4 q5

0, 1

Definição formal: M = (Q, Σ, δ, q0 , F ), onde Q = {q0 , q1 , q2 , q3 , q4 , q5 }, F = {q2 , q3 } e δ :

Q × Σε → P(Q) é definida pela tabela

0 1 ε
q0 ∅ ∅ {q1 , q3 }
q1 {q2 } ∅ ∅
q2 {q2 } {q2 } ∅
q3 {q4 } {q4 } ∅
q4 {q5 } {q5 } ∅
q5 {q3 } {q3 } ∅

Construa um AFN que reconheça o complemento da linguagem

{w| w tem comprimento 2 e termina com 0}.
Desenhe o diagrama de estados e forneça também a definicão formal. Considere o alfabeto {0, 1}.
Resposta:

0, 1 0 0, 1
q0 q1 q2 q3 0, 1

Definição formal: M = (Q, Σ, δ, q0 , F ), onde Q = {q0 , q1 , q2 , q3 }, F = {q0 , q1 , q3 } e δ : Q × Σε →

P(Q) é definida pela tabela

0 1 ε
q0 {q1 } {q1 } ∅
q1 {q2 } {q3 } ∅
q2 {q3 } {q3 } ∅
q3 {q3 } {q3 } ∅
Construa um AFN que reconheça a linguagem

{w| o comprimento de w é pelo menos 2 ou w não termina com 10}.

Desenhe o diagrama de estados e forneça também a definicão formal. Considere o alfabeto {0, 1}.

Resposta: Se consideram a linguagem dada como a união de L1 =

{w| o comprimento de w é pelo menos 2} com o complemento de L2 =
{w| w termina com 10}, obtemos

0,1 0,1
q1 q2 q3 0,1
ε
0
q0
ε 0
q4 1 q5 q6
1
0 1

Definição formal: M = (Q, Σ, δ, q0 , F ), onde Q = {q0 , q1 , q2 , q3 , q4 , q5 , q6 }, F = {q3 , q4 , q5 } e

δ : Q × Σε → P(Q) é definida pela tabela

0 1 ε
q0 ∅ ∅ {q1 , q4 }
q1 {q2 } {q2 } ∅
q2 {q3 } {q3 } ∅
q3 {q3 } {q3 } ∅
q4 {q4 } {q5 } ∅
q5 {q6 } {q5 } ∅
q6 {q4 } {q5 } ∅

Por outro lado, notem que, se w ∈ / L1 , então w ∈ L2 . Assim, qualquer cadeia sobre {0, 1}
pertence à linguagem dada, e um autómato que a reconhece é, simplesmente,

q0 0,1

cuja definição formal é M = ({q0 }, {0, 1}, δ, q0 , {q0 }), com δ(q0 , 0) = δ(q0 , 1) = {q0 } e δ(q0 , ε) =
∅.
Construa um AFD que reconheça a linguagem

{w| o comprimento de w não é divisı́vel por 3}.

Desenhe o diagrama de estados e forneça também a definicão formal. Considere o alfabeto {0, 1}.

Resposta:
0,1
q0 q1

0,1 0,1
q2

Definição formal: M = (Q, Σ, δ, q0 , F ), onde Q = {q0 , q1 , q2 }, F = {q1 , q2 } e δ : Q × Σ → Q é

definida pela tabela
0 1
q0 q1 q1
q1 q2 q2
q2 q0 q0