Laboratório de Linguagens Formais - LabLF. - Robson da Silva Aguiar; Janne Yukiko Yoshikawa Oeiras (Revista Brasileira de Informática na Educ., 2010)