Modular Grammars and Splitting of Catamorphisms - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2007

Modular Grammars and Splitting of Catamorphisms


An abstract context-free grammar can be viewed as a system of polynomial functors. The initial algebra of this functor coincides with its least fixed-point; and this fixed-point can be computed by a method of substitution using Bek\`{\i}c theorem. By doing so the system of polynomial functors is transformed into a related system of regular functors. We introduce a splitting operation on algebras producing an algebra for the resulting system of regular functors from an algebra of the original system of polynomial functors. This transformation preserves the interpretation function (catamorphism). The end result is a class of (extended) abstract context-free grammars, associated with regular functors. This class seems to be well-adapted to the modular design of domain-specific embedded languages.
Fichier principal
Vignette du fichier
RR-6313.pdf (176.39 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00175793 , version 1 (01-10-2007)
inria-00175793 , version 2 (02-10-2007)


  • HAL Id : inria-00175793 , version 2


Eric Badouel, Rodrigue D. Djeumen. Modular Grammars and Splitting of Catamorphisms. [Research Report] RR-6313, INRIA. 2007, pp.17. ⟨inria-00175793v2⟩
126 View
175 Download


Gmail Facebook X LinkedIn More