Universidade Federal de Ouro Preto – UFOP

Instituto de Ciências Exatas e Biológicas – ICEB

Departamento de Computação – DECOM

 

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.
  • Conteúdo Programático:

     

    Processo Avaliativo:

     

    Material Didático:

     

    Bibliografia:

     

    Última Atualização: 23/04/12