Teoria da computação Prova 2 7 de dezembro de 2023

Nome e RA:
1. Escolha as questões de tal forma que a soma das pontuações fique igual a dez. Quais foram
as questões escolhidas ?
2. (1 ponto) Mostre uma expressão regular para reconhecer palavras em { a, b}∗ que começam
com b, terminam com a, e a quantidade de posições com a é par.
3. (2 pontos) Coloque na forma normal de Chomsky a seguinte gramática:
S → aSb|bSa| BCA| ABCD | DD |ϵ
A → ϵ| aa
B → ϵ|bb
C → cc|ϵ
D→ϵ
4. (4 pontos) Construa uma máquina de Turing que verifica se a quantidade de símbolos a de
uma dada palavra w ∈ { a, b}∗ é igual 2 vezes a quantidade de símbolos b.
5. (3 pontos) Mostre a tabela de programação dinâmica obtida depois de executar o algoritmo
CYK para a palavra w = baaa e utilizando a gramática definida abaixo:
S → AB| BC
A → BA| a
B → CC |b
C → AB| a
6. (2 pontos) Para a gramática descrita abaixo, liste todas as palavras em { a, b, (, ), [, ]}∗ que são
geradas utilizando de uma até duas derivações.
S → (S)|[S]|SS| a|b|ϵ
7. (2 pontos) Considere a seguinte máquina de Turing:
Y/Y →, 0/0 →

0/X → 1/Y ←
start q0 q1 q2 Y/Y ←, 0/0 ←

Y/Y → X/X →

B/B →
q3 q4

Y/Y →

RESPONDA:
• Simule a máquina acima, passo-a-passo, a partir da seguinte descrição instântanea:
q0 001

8. (1 ponto) Converta a seguinte gramática para um automato de pilha com aceitação por pilha
vazia.
S → tSa| gSc| a|c| g|t|SS|ϵ
9. (1 ponto) Mostre que a seguinte gramática é ambigua.
S → SS| a|(S)|ϵ

Teoria da computação Prova 2 Página 1 de 1