LINGUAGENS FORMAIS E AUTÔMATOS

Sobre o curso

O curso "Linguagens Formais e Autômatos" proporciona uma sólida compreensão dos conceitos fundamentais relacionados a conjuntos, lógica, símbolos, cadeias e linguagens. Os participantes explorarão as linguagens regulares, livres de contexto, sensíveis ao contexto e recursivamente enumeráveis, abordando gramáticas associadas, expressões regulares, autômatos finitos e outros formalismos. Além disso, o curso explora temas avançados, como a tese de Church-Turing, decidibilidade e complexidade, preparando os estudantes para lidar com problemas complexos relacionados à teoria das linguagens formais e autômatos.

Conteúdo do curso

1. Introdução às linguagens formais;
2. Linguagens regulares;
3. Linguagens recursivamente enumeráveis e sensíveis ao contexto;
4. Decidibilidade e complexidade.

Duração

O curso tem duração de 60 horas e o estudante terá acesso à plataforma durante 6 meses. Neste período, poderá assistir as videoaulas e acessar o material em PDF quantas vezes quiser.

Certificado

Após a conclusão do curso, o certificado será disponibilizado no ambiente virtual de estudos e poderá ser impresso.

Metodologia

O estudante assistirá as videoaulas pela internet e terá o auxílio do livro em formato PDF. As videoaulas são de fácil compreensão, dinâmicas e atendem cada capítulo existente nos livros, que são de fácil leitura e oferecem exercícios para a fixação dos conteúdos.

Teste seu conhecimento

Assim que se considerar apto, o estudante poderá realizar o teste para avaliar o conhecimento adquirido. A emissão do certificado independe do resultado desta avaliação.

Ementa

Download da ementa completa