autores José Carlos Bacelar Almeida Midena Ramos, MVM de Queiroz, RJGB Moreira, N Almeida, José Bacelar Bacelar Almeida, JCB
palavras-chave Chomsky Normal Form Context-free language theory Coq Formalization Grammar simplification Language closure Pumping Lemma