Esta disciplina se propõe a introduzir o aluno aos conceitos de Linguagens Formais, Autômatos e Computabilidade.