Alunos: nova página de CT200 em https://tidia.ita.br/portal Alunos: nova página de CT200 em https://tidia.ita.br/portalEste curso cobre os fundamentos teóricos da Ciência da Computação. A Teoria de Linguagens Formais é a base para a definição das linguagens de programação usuais e para o projetos de compiladores, e os automata são máquinas abstratas que computam funções e reconhecem as propriedades sintáticas destas linguagens. O tema central do curso é a relação entre a geração das linguagens formais e o reconhecimento das mesmas por automata.
 |
Este livro está esgotado, mas os autores gentilmente decidiram tornar a obra acessível pela Internet. Os capítulos 1 e 2 da parte D são relevantes para este curso. Clique na imagem da capa para mais informações. |
Alan M. Turing: o "pai" da Teoria da Computação. Em sua homenagem foi criado o Prêmio Turing.
Noam Chomsky: um dos grandes nomes no estudo de gramáticas e linguagens.O pumpíng lemma na forma de poema...
O problema da parada em MTs na forma de poema...
Mais informações? Entre em contato.
