Linguagens Formais e Autmatos

Lista de Exerccios No. 05

Mquina de Turing


1) Qual a importncia da Mquina de Turing para a Cincia da Computao?

2) Para cada uma das linguagens abaixo, desenvolva uma Mquina de Turing que a aceita e que, sempre
para, para qualquer entrada:
a)
b) {}
c) {, a, b}
d) {a, b}*
e) {a
n
b
n
c
n
| n 0}
f) {w | w palavra de {x, y, (, )}* com parnteses balanceados}


3) Desenvolva um programa em computador que simule qualquer Mquina de Turing. As entradas devem ser
os componentes da mquina e a palavra a ser processada. Como sadas, o simulador deve apresentar o
estado final da mquina simulada, o contedo da fita e o nmero de movimentos da cabea da fita.


4) Sobre a Hiptese de Church:
a) Por que no demonstrvel?
b) Qual o seu significado?
c) Qual a sua importncia?