| Ementa/Descrição: |
Máquina de Turing, Computabilidade efetiva, Funções recursivas, Tese de Church, Teorema de incompletude de Godel. Problemas Indecidíveis. Linguagens regulares, autômatos finitos, linguagens livres de contexto, autômatos com pilha, o problema da parada da máquina de Turing, hierarquia das classes de linguagem. |