Universidade de Santiago Curso: Engenharia Informática – 2º e 3ºAno

O FUTURO AO TEU ALCANCE Disciplina: Compiladores

2º Semestre Duração: 2h00mn

Trabalho Pratico Autómato de Pilha

I – AUTÓMATO DE PILHA
1. Considere o seguinte autómato de pilha.
δ = {(q0,a,Z0)→( q0,Z0),
Q={q0,q1,q2}
(q0,a,B)→( q0,B),
Σ={a,b,c,d,e}
(q0,b,Z0)→( q0, Z0B),
Γ={Z0,B} (q0,b,B) →( q0,BB),

F={q2} (q0,c,Z0) →( q1,Z0),

(q0,c,B) →( q1,B),
(q1,d,B) →( q1,λ),
(q1,e,Z0) →( q1,Z0),
(q1,e,B) →( q1,B),
(q1,λ,Z0)→(q2,λ)}

i. Desenhe o diagrama (grafo) de transições de estados para este autómato de pilha.

ii. Verifique se a cadeia abaabceedd é aceite, mostrando a sequência de movimentos

executados pelo autómato.

2. Considere o seguinte autómato de pilhas AP

Com as seguintes transições:

a) Construa o autómato M, usando a diagrama de transição.

b) Indique todas as mudanças de configurações do autómato M com a cadeia aba
começando na configuração (q0, aba, A).

3. Encontre um AP M que reconheça o conjunto L = { 0n1n | n > 0} por pilha vazia.

1
Ano letivo: 2021/2022
 Universidade de Santiago Curso: Engenharia Informática – 2º e 3ºAno
O FUTURO AO TEU ALCANCE Disciplina: Compiladores

2º Semestre Duração: 2h00mn

Trabalho Pratico Autómato de Pilha

4. Considere a linguagem abaixo especificado:

a) a2i, i ≥ 0

Para essa linguagem obtenha:

i. Exemplos de cadeias que pertencem e não pertencem a linguagem.

ii. Uma gramática livre de contexto que gere a linguagem.
iii. Sequência de derivações para as sentenças selecionadas na gramática construída.
iv. Árvores de derivação que representa as sentenças selecionadas.
v. Um autómato de pilha que reconheça a linguagem.
vi. Sequência de configurações para as sentenças selecionadas no autómato construído.

2
Ano letivo: 2021/2022