Disciplina de Teoria da Computação, da 5ª fase do curso de Bacharelado em Ciência da Computação da UDESC - Joinville