Teoria de Linguagens
segundo semestre/2018


  • Livro texto:
  • Cópias dos slides:
  • Veja o Plano de Curso.
  • Alguns softwares que podem facilitar a sua vida:
  • Veja um texto bom e conciso sobre demonstrações de teoremas. Ele foi baixado de http://www.math.dartmouth.edu/archive/m38s04/public_html/. Observe, particularmente, os itens 4 e 7 da seção 3!
  • Veja uma demonstração poética da indecidibilidade do problema da parada.
  • Biografia de Alan Turing: The Enigma, de Andrew Hodges.
  • Excelente livro sobre Sistemas Formais: Gödel, Escher, Bach: An Eternal Golden Braid, de Douglas Hofstadter.
  • Listas de exercícios:
  • Provas:
  • Veja notas no MinhaUFMG.