Resumos de Teoria das Linguagens Formais para Autômatos para estudantes de Engenharia