14 citations · 30 across the 16 of their papers we have counts for
4 papers · 1 filter
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…
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…
On Computational Paths and the Fundamental Groupoid of a Type
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina de Oliveira
The main objective of this work is to study mathematical properties of computational paths. Originally proposed by de Queiroz \& Gabbay (1994) as `sequences of rewrites', computati…
On the Groupoid Model of Computational Paths
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira
The main objective of this work is to study mathematical properties of computational paths. Originally proposed by de Queiroz \& Gabbay (1994) as `sequences or rewrites', computati…