Instituto Superior Técnico

Teoria da Computação - 09/10

Aula prática 5

Especificação de autómatos de pilha

1. Especifique um autómato de pilha que reconheça a linguagem sobre o
alfabeto {a, b} constituı́da pelas palavras do tipo

(a) a2n bn onde n ∈ N0 .

(b) an b2n onde n ∈ N.
(c) an bm onde m, n ∈ N0 e n ≥ m.
(d) an bm onde m, n ∈ N0 e n > m.
(e) an bm onde m, n ∈ N0 e n ≤ m.
(f) an bm onde m, n ∈ N0 e n < m.

2. Especifique um autómato de pilha que reconheça a linguagem sobre o

alfabeto {a, b} constituı́da pelas palavras

(a) em que o número de a’s é igual ao número de b’s.

(b) em que o número de a’s é maior ou igual que número de b’s.
(c) em que o número de a’s é maior que número de b’s.
(d) em que o número de a’s é o dobro do número de b’s.

3. Especifique um autómato de pilha que reconheça a linguagem sobre o

alfabeto {a, b, c} constituı́da pelas palavras que têm tantos a’s como b’s.

4. Especifique um autómato de pilha que reconheça a linguagem sobre o

alfabeto {0, 1} constituı́da pelas palavras que têm comprimento ı́mpar e
o sı́mbolo do meio é 1.

5. Especifique um autómato de pilha que reconheça a linguagem sobre o

alfabeto {0, 1} constituı́da pelas palavras que são palı́ndromos (isto é,
w = wR ).

6. Especifique um autómato de pilha que reconheça a linguagem sobre o

alfabeto {a, b, c} constituı́da pelas palavras do tipo ai bj ck onde i, j, k ∈ N0
e i = j ou i = k.

7. Especifique um autómato de pilha que reconheça a linguagem

{w ∈ {0, 1}∗ : w 6= 0n 1n com n ∈ N0 }

Resolução do exercı́cio 7: Especifique um autómato de pilha que reconheça
a linguagem

{w ∈ {0, 1}∗ : w 6= 0n 1n com n ∈ N0 }

Uma possı́vel solução é o autómato

A = (Q, Σ, Γ, δ, q0 , F )

com

• Q = {q0 , q1 , q2 , q3 , q4 , q5 }

• Σ = {0, 1}

• Γ = {0, $}

• δ : Q × Σε × Γε → P(Q × Γε ) tal que

0 0 0 1 1 1 ε ε ε
0 $ ε 0 $ ε 0 $ ε
q0 {} {} {} {} {} {(q1 , ε)} {} {} {(q2 , $)}
q1 {} {} {(q1 , ε)} {} {} {(q1 , ε)} {} {} {}
q2 {} {} {(q3 , 0)} {} {} {} {} {} {}
q3 {} {} {(q3 , 0)} {(q4 , ε)} {} {} {} {} {}
q4 {} {} {(q1 , ε)} {(q4 , ε)} {(q1 , ε)} {} {(q5 , ε)} {} {}
q5 {} {} {} {} {} {} {} {} {}

• F = {q1 , q3 , q5 }