14 citations · 30 across the 16 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2015
Formalization of context-free language theory
Marcus V. M. Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira +1
Context-free language theory is a subject of high importance in computer language processing technology as well as in formal language theory. This paper presents a formalization, u…
cs.FL2015★ 1 cited
Formalization of simplification for context-free grammars
Marcus V. M. Ramos, Ruy J. G. B. de Queiroz
Context-free grammar simplification is a subject of high importance in computer language processing technology as well as in formal language theory. This paper presents a formaliza…