Este curso explora os conceitos fundamentais de Teoria da Computação, cobrindo as bases teóricas das linguagens formais, gramáticas e autômatos, além dos limites da computação. Os alunos serão introduzidos às linguagens da Hierarquia de Chomsky, com foco na relação entre os autômatos que as reconhecem e as gramáticas que as geram. Serão abordados tópicos como autômatos finitos, linguagens regulares e livres de contexto, autômatos de pilha, e máquinas de Turing, além de questões sobre decidibilidade e computabilidade. O curso visa promover o raciocínio lógico e formal, essencial para a solução de problemas complexos e a análise de algoritmos, preparando os alunos para uma compreensão mais profunda dos limites da computação teórica.
- Professor: Jefferson Oliveira Andrade
- Professor: Leandro Colombi Resendo
- Professor: Hilário Tomaz Alves de Oliveira