Linguagens Formais e Autômatos

---

• Teoria de conjunto
  • Subconjuntos
  • Diferença simétrica em 2 conjuntos
  • Cardinalidade de um conjunto
  • Conjunto das partes (powerset))
  • Produto cartesiano
• Relações discretas
• Introdução ao primeiro princípio da indução finita
  • Princípio da indução matemática
• Introdução sobre linguagens formais
  • Alfabeto
    • Potência de um alfabeto
    • Conjunto de todas as palavras
  • Palavra
    • Tamanho da palavra
    • Propriedades da operação de concatenação de palavras
    • Prefixo
    • Sufixo
    • Subpalavra
  • Linguagem
    • Operações de linguagens
      • Operação de união em linguagens
      • Operação de intersecção em linguagens
      • Operação de complemento em linguagens
      • Operação de concatenação em linguagens
      • Operação de potenciação em linguagens
    • Fecho de Kleene
      • Características do Fecho de Kleene
      • Fecho Positivo
      • Operações com o Fecho de Kleene
        • Identidade da concatenação
        • Elemento aniquilador da concatenação
        • Distributividade da concatenação sobre a união
      • Propriedades do Fecho de Kleene
• Autômato Finito Determinístico (AFD)
  • Visão geral sobre minimização
  • Algoritmo de minimização de AFD
• Autômato Finito Não Determinístico - AFND
  • Comparativo entre AFD e AFND
• Gramática
  • Regras de derivação
  • Gramática linear
  • Construção de um AFND-ε a partir de uma gramática
  • Gramática Livre de Contexto
• Linguagens formais