Disciplina: Teoria da Computação – BCC244 – 1/2012
Turma: 11
Prof. Anderson Almeida Ferreira
Objetivo:
Ao final do curso é esperado que os alunos compreendam as definições e propriedades de modelos matemáticos de computação, tais como, linguagens, autômatos e gramáticas e compreendam os conceitos de computabilidade e decidibilidade de problemas.
Ementa:
Gramáticas. Linguagens. Operações com Linguagens. Propriedades de Linguagens. Autômatos Finitos. Autômatos de Pilha. Máquinas de Turing. Hierarquia de Chomsky. Tese de Church. Problemas Indecidíveis.