引导式文法收敛：完整案例研究报告
编程语言
2012-07-30 v1 形式语言与自动机理论
摘要
本报告旨在作为先前提出的引导式文法收敛（guided grammar convergence）技术的辅助材料，该技术是针对文法收敛主题中特定问题的改进方案。报告包含一个叙述性的 MegaL 元模型（megamodel），以及在阶乘语言（Factorial Language）上进行引导式文法收敛实验的完整结果，其中每个文法源的细节均以可读形式封装。本文档中使用的所有公式均由收敛基础设施自动生成，以避免任何错误。生成器源代码及引言文本的源代码可在软件语言处理套件（Software Language Processing Suite）仓库中公开获取。
引用
@article{arxiv.1207.6541,
title = {Guided Grammar Convergence. Full Case Study Report. Generated by converge::Guided},
author = {Vadim Zaytsev},
journal= {arXiv preprint arXiv:1207.6541},
year = {2012}
}