Curso: Ciência da Computação

Disciplina: Teoria da Computação

Professora: Danielle Casillo

LISTA DE EXERCÍCIOS 4
(Aulas 16, 17 e 18)

1. Desenvolva uma Máquina de Post em que aceite a seguinte linguagem

sobre o alfabeto [a, b, c]:

Post = {a2nbnc3n / n ≥ 1}

Exemplo: aaaabbcccccc (aceita)

aabbcc (rejeita)
bbbc (rejeita)

2. Elabore uma Máquina de Post Palíndroma que aceite e reconhece

todas as palíndromas (palavras que possuem a mesma leitura da
esquerda para a direita e vice-versa) sobre o alfabeto {a, b}. Por
Exemplo: aba, abba, babab (aceita)
Abab (rejeita)

3. Desenvolva uma Máquina com Pilhas que aceite a seguinte linguagem:

Maq_Pilhas = {X | X = ai bj ck } onde i = j ou j = k

4. Desenvolva um Autômato com duas Pilhas que aceite a seguinte

linguagem:

Automato_2_pilhas = {w | w = anb2cn | n >= 0}

5. Considere a linguagem PalavraPalavra = {ww | w é palavra de {a, b} },

construa Autômato com Duas Pilhas para essa linguagem.
Obs: é possível considerar um símbolo auxiliar para delimitar o fim de
uma palavra e o início da outra
Exemplo: w = aba#aba (aceita)
w = baa#baa (aceita)
w = ba#ab (rejeita)