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: Kelly Assis de Souza Gazolli
- Professor: Leandro Colombi Resendo
- Professor: Mateus Conrad Barcellos da Costa
- Professor: Francisco de Assis Boldt
- Professor: Francisco de Assis Boldt
- Professor: Danilo de Paula e Silva
- Professor: Cristina Klippel Dominicini
- Professor: Thiago Meireles Paixão
- Professor: Thiago Meireles Paixão
- Professor: Sergio Nery Simoes
- Professor: Sergio Nery Simoes
- Professor: Jefferson Oliveira Andrade
- Professor: Karin Satie Komati
- Professor: Karin Satie Komati
- Professor: Hilário Tomaz Alves de Oliveira
- Professor: Hilário Tomaz Alves de Oliveira