Teoria da Computação
Carga Horária: 80h
EMENTA. Introdução à teoria da computação e às linguagens formais. Linguagens regulares. Linguagens livres de contexto. Introdução à computabilidade. Modelos de computação. Tese de Church-Turing. Decidibilidade e redutibilidade.