论带括号 Lambek 演算的识别能力
逻辑
2018-04-17 v4 计算机科学中的逻辑
摘要
带括号的 Lambek 演算所识别的每一种语言都是上下文无关的。这一结论通过结合 Jäger 的一项观察与对 Pentus 用于原始 Lambek 演算的方法进行完全直接的改编而得以证明。该演算中允许前件为空的矢列式变体的情形稍显复杂，需要对乘法单位进行限制性使用。
引用
@article{arxiv.1709.07695,
title = {On the Recognizing Power of the Lambek Calculus with Brackets},
author = {Makoto Kanazawa},
journal= {arXiv preprint arXiv:1709.07695},
year = {2018}
}
备注
minor revisions