Teoria da Computação

---

• Introdução a Teoria da Computação
• Revisão sobre Linguagens Formais e Autômatos
  • Hierarquia de Chomsky
  • Alfabeto
  • Palavra
  • Exercícios sobre Autômatos
• Máquina de Turing
  • Converter uma AFD em Máquina de Turing
  • Formas de representação de uma máquina de Turing
    • Baixo nível
    • Alto nível
  • Simulação passo a passo de uma Máquina de Turing
  • Variantes de máquina de Turing
    • Máquina de Turing não-determinística
    • Máquinas de Turing com várias fitas
  • Metodologia para construção de uma máquina de Turing a partir de uma definição de linguagem
    • Padrões de projeto clássicos para máquinas de Turing