CI059 - Introdução à Teoria da Computação
Pré-requisito(s): Bloco A	Período: semestral	Natureza: obrigatória
Carga-horária: 60 horas	Aulas práticas: 30 horas	Aulas teóricas: 30 horas
Créditos: 3	FICHA 1	FICHA 2
Ementa: Linguagem regulares, livres de contexto, sensível a contexto. Autômatos, máquina de Turing. Computabilidade. Problema da parada. Noções de Lambda calculus, funções recursivas e computabilidade.