Visão Geral e Dicas

Informações que irão auxiliá-lo a cursar bem a disciplina e a compreender sua importância para o curso.

Ementa

  • Teorias dos autômatos e das linguagens formais
  • Modelos computacionais: autômato finito e autômato de pilha
  • Linguagens regulares e linguagens livre-de-contexto
  • Propriedades e problemas
  • Parsing e ambiguidade em linguagens livre-de-contexto
  • Hierarquia de autômatos, de gramáticas e de linguagens
  • Teoria da computabilidade.
  • Limitações dos autômatos
  • Máquina de Turing como modelo de algoritmo
  • Tese de Church-Turing, justificativa e consequências
  • Máquinas de Turing como reconhecedoras de linguagens e como calculadoras de funções
  • Problemas de decisão em linguagens regulares e livre-de-contexto
  • A indecidibilidade do problema da parada
  • Redução

Visão Geral

Ainda não temos uma visão geral dessa disciplina. Você pode nos ajudar com isso? (:

Dicas

Ainda não temos dicas para essa disciplina. Você pode nos ajudar com isso? (:

Edite esta página