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?