Rogério Reis


Err and err and err again, but less and less and less.


Bibliografia

Stacks Image 28420
Introduction to Automata Theory, Languages and Computation. John E. Hopcroft and Jeffrey D. Ullman. Addison-Wesley. (1st Edition)
Stacks Image 28402
Introduction to the Theory of Computation. Michael Sipser. Cengage Learning (3rd Edition)
Apontamentos

Os apontamentos que se encontram disponíveis abaixo, ainda são um rascunho, e como tal provavelmente contêm erros e gralhas. Quaisquer erros detectados, assim como sugestões para os melhorar (os textos, não os erros) são bem-vindas.

Outros Recursos
Um emulador de maquina de Turing, escrito em Python2 (compatível com o modelo usado no curso) pode ser obtido aqui. Um exemplo de uma MT que decide a linguagem \(\{0^{n^2}\mid n\geq 0\}\) pode ser obtido aqui.