Ementa
Revisao de topicos de algebra. Automata finitos e expressoes regulares. Propriedades dos conjuntos regulares, analise e sintese de automata. Linguagens e gramaticas. Linguagens regulares, livres de contexto, sensiveis ao contexto e tipo-0. Maquinas de Turing e seus modelos restritos. Decidabilidade. Analise sintatica e traducao orientada pela sintaxe.
Codigo da Disciplina
CT-200
Professor
Ph. D. Celso de Renna e Souza
Periodo de Realizacao
Primeiro periodo de 2005
Correspondendo aos meses de Fevereiro a Julho
Local
Instituto Tecnologico de Aeronautica - ITA
Sao Jose dos Campos, SP, Brasil.