Ferramentas Pessoais
Você está aqui: Página Inicial Disciplinas Disciplinas do Programa Obrigatórias CCO-410 - Aspectos Formais da Computação

CCO-410 - Aspectos Formais da Computação

Quantidade de créditos: 8
Total de horas de aulas teóricas: 60
Total de horas de aulas de exercícios, seminários ou estudos dirigidos: 60

Objetivo:

Estudar as teorias relativas aos autômatos e às linguagens formais e as relações de equivalência envolvendo esses modelos. Aplicar essas teorias na modelagem e solução de problemas computacionais bem como identificar problemas indecidíveis.

Ementa:

1 - Seqüências, alfabetos, linguagens, grafos, árvores, conjuntos e relações
2 - Autômatos finitos e expressões regulares
3 - Gramáticas livres de contexto
4 - Máquinas de Turing
5 - Indecidibilidade
6 - Linguagens livre de contexto determinísticas
7 - Complexidade computacional
8 - Problemas intratáveis

Bibliografia:

1 - HOPCROFT, J. E.; MOTWANI, R.; ULLMAN, J. D., Introduction to Automata Theory, Languages and Computation, 3rd. ed., Addison Wesley, 2006.
2 - MENEZES, P. B., Linguagens Formais e Autômatos, 4a. ed., Editora Sagra Luzzatto, 2001.
3 - ANDERSON, J. A., Automata Theory with Modern Applications, 1st. ed., Cambridge University Press, 2006.

Ações do documento

 

WebMail