Disciplina de Linguagens Formais e Autômatos, da 3ª fase do curso de Bacharelado em Ciência da Computação da UDESC - Joinville