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.