图灵机向上下文相关融合文法的转换
形式语言与自动机理论
2019-12-23 v1
摘要
上下文相关融合文法最近作为生成超图语言的装置被引入。在本文中，我们证明这类新型超图文法（其中融合规则的应用受正、负上下文条件限制）是一种通用计算模型。我们的主要结果是，图灵机可被转换为此类文法，使得图灵机所识别的语言与相应上下文相关融合文法所生成的语言在字符串作为图的表示意义上完全一致。作为推论，我们得到上下文相关融合文法可生成所有递归可枚举的字符串语言。
引用
@article{arxiv.1912.09608,
title = {Transformation of Turing Machines into Context-Dependent Fusion Grammars},
author = {Aaron Lye},
journal= {arXiv preprint arXiv:1912.09608},
year = {2019}
}
备注
In Proceedings GCM 2019, arXiv:1912.08966