嵌套堆栈自动机

维基百科,自由的百科全书
跳转到: 导航, 搜索

自动机理论中,嵌套堆栈自动机是可以利用持有作为附加栈的数据的有限自动机[1] 嵌套堆栈自动机除了压入和弹出外还可以读它的栈。嵌套堆栈自动机有能力识别附标语言[2]

[编辑] 参见

[编辑] 引用

  1. ^ Aho, Alfred. Nested stack automata. Journal of the ACM. 1969, 16 (3): 383–406. ISSN 0004-5411. 
  2. ^ Partee, Barbara; Alice ter Meulen, and Robert E. Wall. Mathematical Methods in Linguistics. Kluwer Academic Publishers. 1990:  536–542. ISBN 978-90-277-2245-4. 
自动机理论: 形式语言和形式文法
乔姆斯基层级 文法 语言 极小自动机
类型 0 无限制 递归可枚举 图灵机
n/a (无公用名) 递归 判定器
类型 1 上下文有关 上下文有关 线性有界
n/a 附标 附标 嵌套堆栈
n/a 树-邻接 适度上下文有关 嵌入下推
类型 2 上下文无关 上下文无关 非确定下推
n/a 确定上下文无关 确定上下文无关 确定下推
类型 3 正则 正则 有限
每个语言或文法范畴都是其直接上面的范畴的真子集
个人工具
名字空间
操作
导航
帮助
工具
其他语言