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
O curso oferece diferentes opções de carga horária, com prazos mínimos de conclusão definidos conforme o formato escolhido: 80 horas, com prazo mínimo de 10 dias; 120 horas, com prazo mínimo de 15 dias; e 180 horas, com prazo mínimo de 20 dias. O prazo máximo para conclusão é de 5 meses e, caso o aluno não finalize o curso dentro desse período, será necessário realizar uma rematrícula.
Formas de Pagamento
O curso pode ser pago no boleto ou cartão de crédito.
| Carga Horária | Investimento |
|---|---|
| 80 horas | R$ 120,00 |
| 120 horas | R$ 180,00 |
| 180 horas | R$ 270,00 |
.jpg?w=355&h=188&fit=crop&crop=entropy)
