Máquinas de Turing

7 Novembro 2017, 09:30 Ana Respicio

Máquinas de Turing.

Exemplo: palavras compostas só por zeros e com comprimento potência de 2. 
Diferentes tipos de especificação.
Definições de linguagem Turing-reconhecível e decidível. Equivalência de MT.
A variante "stay".
Estudar: Sipser, cap3; notas de apoio.
Praticar: Folha 7, exercícios no fim do cap 3, Sipser.