Lambek 产生机分析
计算机科学中的逻辑
2007-05-23 v1
摘要
Lambek 产生机可用于生成和识别由产生式文法描述的语言子集中的句子。在本文中,我们确定了由此类机器生成和识别的文法语言的子集。
关键词
引用
@article{arxiv.cs/0405081,
title = {An Analysis of Lambek's Production Machines},
author = {Riccardo Pucella},
journal= {arXiv preprint arXiv:cs/0405081},
year = {2007}
}
备注
13 pages, 1 figure