2019.2 Linguagens Formais e Autômatos

Programação

• 

  Geral

  • Avisos Fórum
  • Contatos

  • Aulas:

    • Horários: 3as e 5as, 20h-22h
    • Sala: 215
      

    Professor:

    • Jefferson Elbert Simões
    • E-mail: jefferson.simoes@uniriotec.br
    • Sala: 115
      

    Monitor:

    • Jean Carlos Silva de Souza
    • E-mail: jean.souza@uniriotec.br
      

  • Bibliografia do curso

  • Livros:

    • Paulo Blauth Menezes, Linguagens Formais e Autômatos
    • Michael Sipser, Introdução à Teoria de Computação
    • John E. Hopcroft, Rajeev Montwani, Jeffrey D. Ullman, Introdução à Teoria de Autômatos, Linguagens e Computação
    • Harry Louis, Christos Papadimitriou, Elementos de Teoria da Computação

    Notas de aula e apostilas:

    • José Lucas Rangel, Linguagens Formais e Autômatos
    • Severino Collier Coutinho, Luis Menasché Schechter, Autômatos, Linguagens Formais e Computabilidade

• 

  Revisão e conceitos básicos

  • Lista de exercícios 1 Arquivo

    Revisão de Teoria de Conjuntos e primeiras definições de Teoria de Linguagens Formais

  • Lista de exercícios 1 (gabarito) Arquivo

    última atualização: 19 de setembro

• 

  Linguagens regulares

  • Lista de exercícios 2 Arquivo

    AFDs, AFNs, expressões regulares, gramáticas regulares, bombeamento

    (última atualização: 5 de setembro)

  • Lista de exercícios 2 (gabarito) Arquivo

    última atualização: 14 de novembro

  • Problemas selecionados Arquivo
• 

  Linguagens livres de contexto

  • Lista de exercícios 3 Arquivo

    Gramáticas livres de contexto, autômato de pilha, bombeamento para linguagens livres de contexto

  • Lista de exercícios 3 (gabarito) Arquivo

    Última atualização: 14 de novembro

  • Problemas selecionados Arquivo
• 

  Máquinas de Turing e decidibilidade

  • Lista de exercícios 4 Arquivo
• Tópico 5 não está disponível
• Tópico 6 não está disponível
• Tópico 7 não está disponível
• Tópico 8 não está disponível
• Tópico 9 não está disponível
• Tópico 10 não está disponível