Matemática Discreta · 1.º ano (indicativo)
Autómatos e linguagens formais
Capítulo de Matemática Discreta com 0 artigos publicados de 31 temas previstos no plano. Os artigos serão publicados aos poucos, depois de escritos e revistos.
Temas deste capítulo
Plano editorial: 31 temas. Só os que têm ligação já estão escritos e publicados.
- O que é uma linguagem formal?
- O que é um alfabeto e uma cadeia?
- O que é um autómato finito determinista (AFD)?
- O que é um autómato finito não determinista (AFN)?
- O que é a equivalência entre AFD e AFN?
- O que são as expressões regulares?
- O que é a equivalência entre autómatos e expressões regulares?
- O que é o lema do bombeamento (linguagens regulares)?
- O que são as linguagens livres de contexto?
- O que são as gramáticas livres de contexto?
- O que é o autómato com pilha?
- O que é a hierarquia de Chomsky?
- O que é a forma normal de Chomsky?
- O que é a máquina de Turing?
- O que é o problema da paragem?
- O que é a decidibilidade?
- O que é a redução entre problemas?
- O que é a classe P?
- O que é a classe NP?
- O que é o problema P vs NP?
- O que é a NP-completude?
- O que é o teorema de Cook-Levin?
- O que é o compilador e a análise léxica?
- O que é o analisador sintático?
- Como construir um autómato finito para uma linguagem?
- Como converter um AFN em AFD?
- Como escrever uma expressão regular?
- Como minimizar um autómato finito?
- Exercícios resolvidos de autómatos finitos
- Exercícios resolvidos de expressões regulares
- Quais são os erros mais comuns nos autómatos finitos?