Disciplina de Linguagens Formais e Autômatos, oferecida no segundo semestre letivo de 2014 para alunos de graduação dos cursos de Bacharelado em Ciência da Computação e Engenharia de Computação.