Universidade Federal da Paraı́ba

Centro de Informática

Disciplina: Teoria da Computação

Professor: Bruno Bruck

Prova 2

Importante: Antes de começar sua prova leia atentamente as instruções abaixo:

• Essa prova tem inı́cio às 10 horas do dia 02/12/2021 e término às 15:00 horas do mesmo dia;

• A prova deve ser feita em uma folha de papel a lápis ou a caneta de forma legı́vel e sem rasuras.
Questões rasuradas não serão corrigidas;
• Todas as folhas da prova devem ser assinadas e pelo menos uma deve conter o número de matrı́cula;

• Ao terminar, escaneie (ou tire uma foto) de cada folha, junte tudo em um único arquivo pdf e
submeta a prova pela plataforma Moodle;
• Provas entregues fora do prazo ou por outro meio que não seja o Moodle não serão consideradas;

1. Considere a seguinte GLC definida sobre o alfabeto binário:

S → CSC | A
A → 0B1 | 1B0
B → CBC | C | ϵ
C→0|1

Responda às seguintes questões:

a) (1pt) Dê 2 (dois) exemplos de cadeias com pelo menos 4 sı́mbolos que possam ser geradas por
essa gramática. Para cada cadeia mostre uma derivação mais à esquerda que a gere. Lembre-se
de realizar somente uma substituição por vez.
b) (1pt) Qual a linguagem gerada pela gramática acima?
c) (1pt) Prove utilizando exemplos que essa gramática é ambı́gua e explique porque isso acontece.

2. (2pts) Crie uma GLC que seja capaz de gerar a linguagem L = {w | w possui o formato 0n 1m , onde
n, m ≥ 0 e n ̸= m}, definida sobre o alfabeto binário.

1
3. Seja a linguagem L = {w | w possui o formato xi y j xk tal que i, j, k ≥ 0 e, i > j ou j > k}.
a) (2pts) Construa um Autômato de Pilha para reconhecer tal linguagem. Utilize o alfabeto Σ = {x, y}
e considere que a pilha do autômato já começa com o sı́mbolo Z no topo.

b) (1pt) Desenhe a árvore de processamento para esse AP utilizando como cadeia de entrada w =
000110.

4. (2pts) Crie uma Máquina de Turing que receba como entrada uma cadeia w sobre o alfabeto binário
(ou seja, Σ = {0, 1}) e concatene uma cópia de w imediatamente à sua direta na fita. Essa máquina
deve terminar com o cabeçote na célula mais à esquerda e o conteúdo da fita deve ser ww. Além disso,
a máquina deve terminar em um estado de aceitação quando for bem sucedida. Considere que a cadeia
vazia deve ser aceita pela máquina.
Importante: Vamos considerar a versão original da Máquina de Turing, onde a fita é limitada à
esquerda e só são permitidos os movimentos ← (L) e → (R) para o cabeçote.