2012 年的语法重锤
形式语言与自动机理论
2012-12-19 v1 编程语言
摘要
本文档是一项关于激进式自归档的案例研究。它汇集了作者在 2012 年开展的所有倡议(包括未发表的倡议),解释了它们的相关性及其相互关系。讨论的主题包括广义形式语法的引导收敛、可编程语法变换算子套件、元语法规范及其操作方法、解析理论中的容错(软计算)方法、作为软件系统语言架构建模的巨建模、语法知识仓库、开放笔记本计算机科学,以及若干次要主题(新解析算法、可视化技术等)。报告还包括对所涉及场所的简要概述。
引用
@article{arxiv.1212.4446,
title = {The Grammar Hammer of 2012},
author = {Vadim Zaytsev},
journal= {arXiv preprint arXiv:1212.4446},
year = {2012}
}
备注
32 pages