This report is meant to be used as auxiliary material for the guided grammar convergence technique proposed earlier as problem-specific improvement in the topic of convergence of grammars. It contains a narrated MegaL megamodel, as well as full results of the guided grammar convergence experiment on the Factorial Language, with details about each grammar source packaged in a readable form. All formulae used within this document, are generated automatically by the convergence infrastructure in order to avoid any mistakes. The generator source code and the source of the introduction text can be found publicly available in the Software Language Processing Suite repository.
Additional Metadata
Keywords grammar convergence, empirical report, guided convergence, programmable grammar transformation, equivalence classes
ACM Grammars and Other Rewriting Systems (acm F.4.2), Formal Languages (acm F.4.3)
MSC Inclusion and equivalence theorems (msc 40D25), Grammars and rewriting systems (msc 68Q42)
THEME Software (theme 1)
Publisher Cornell University Library
Persistent URL dx.doi.org/10.6084/m9.figshare.93551
Series arXiv.org e-Print archive
Project GrammarLab: Foundations of a Grammar Laboratory
Grant This work was funded by the The Netherlands Organisation for Scientific Research (NWO); grant id nwo/612.001.007 - GrammarLab: Foundations of a Grammar Laboratory
Citation
Zaytsev, V. (2012). Guided Grammar Convergence. Full Case Study Report. Generated by converge::Guided. arXiv.org e-Print archive. Cornell University Library. doi:10.6084/m9.figshare.93551