Objetivo Geral:Desenvolver uma compreensão sólida e abrangente dos princípios teóricos fundamentais da computação, capacitando os alunos a analisar e modelar problemas computacionais, explorar as propriedades das linguagens formais e autômatos, e avaliar a complexidade e a computabilidade dos algoritmos e problemas.

Ementa: Autômatos. Linguagens e expressões regulares. Gramáticas e Autômatos a Pilha. Máquina de Turing. Decidibilidade e Computabilidade. Complexidade Computacional.