Linguagens Formais e Autômatos

Capítulo 1:

• Conjuntos
• Relações
• Funções
• Conjuntos enumeráveis

Capítulo 2:

• Gramáticas

Capítulo 3:

• Gramáticas regulares
• Expressões regulares
• Exercícios
• Autômatos finitos
• Gramáticas x autômatos finitos
• Não-determinismos e transições em vazio
• Equivalência entre gramáticas lineares e autômatos finitos
• Equivalência entre expressões regulares e autômatos finitos
• Quadro geral de equivalências para linguagens regulares
• Obtenção de expressões regulares a partir de autômatos finitos (NOVO)

Capítulos 5, 6 e 7:

• Decidibilidade (NOVO)