关于由连接组成的P/T系统接受的语言
摘要：抽象计算系统的计算能力与Petri网模型和其拓扑结构相关。这些抽象计算设备的计算能力可以通过观察其拓扑结构（信息流）来理解。本文引入了J语言，并证明它们可被由仅包含连接操作的地方/过渡系统接受。此外，我们研究了J语言与其他形式语言家族的关系。特别地，我们证明每个J语言可以被一台一次读-only输入的log n空间有界非确定性图灵机接受。我们还证明每个J语言有一个半线性的Parikh map，并且J语言与上下文无关语言（CFLs）是不可比较的。
作者：Pierluigi Frisco (Heriot-Watt University), Oscar H. Ibarra (University of California)
论文ID：0907.5121
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2009-07-30