Conceitos básicos: conjuntos, lógica, símbolos, cadeias, linguagens. Linguagens regulares: gramáticas
regulares, expressões regulares e autômatos finitos. Linguagens livres de contexto: gramáticas livres de
contexto, árvores de derivação, autômatos à pilha. Lema do bombeamento. Linguagens sensíveis ao contexto
e recursivamente enumeráveis: máquinas de Turing. Tese de Church-Turing. Decidibilidade e complexidade.
Conteúdo do curso
1. Introdução às linguagens formais
2. Linguagens regulares
3. Linguagens livres de contexto
4. Linguagens recursivamente enumeráveis e sensíveis ao contexto
5. Decidibilidade e complexidade
Duração mínima de 2 semanas e máxima de 5 meses, independente de carga horária. Após esse período, caso o aluno não tenha finalizado o curso, será necessário que realize uma rematrícula.
Formas de Pagamento
O curso pode ser pago no boleto ou cartão de crédito.
| Duração | Parcelas | Investimento |
|---|---|---|
| 1 a 5 meses | 1 | R$ 120,00 |
.jpg?w=355&h=188&fit=crop&crop=entropy)
