苏娜·本施;马库斯·霍尔泽;马丁·库特里布;安德烈亚斯·马尔彻 输入驱动的堆栈自动机。 （英语） Zbl 1362.68127号 Baeten，Jos C.M.（编辑）等人，《理论计算机科学》。第七届IFIP TC 1/WG 2.2国际会议，2012年TCS，荷兰阿姆斯特丹，2012年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33474-0/pbk）。计算机科学课堂讲稿7604，28-42（2012）。 摘要：我们介绍并研究了输入驱动的堆栈自动机，它是输入驱动下推自动机的一种推广，最近以可视下推自变量的名义流行起来。基本上，其思想是输入字母唯一地决定下推存储上的操作。这可以通过负责向上或向下移动堆栈指针的其他类型的输入字母很好地推广到堆栈自动机。虽然下推语言与正则语言有许多共同的属性，但输入驱动的堆栈自动机语言并不一定如此。我们证明了确定性和非确定性输入驱动的栈自动机具有不同的计算能力，这顺便表明，不能从非确定性堆栈自动机构造确定性输入驱动的堆栈自动机。我们研究了这些设备的计算能力。此外，还证明了非确定性输入驱动的堆栈自动机语言的隶属度问题是NP完全的。关于整个系列，请参见[Zbl 1246.68021号]. 引用于8文件 MSC公司： 65年第68季度 形式语言和自动机 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） PDF格式BibTeX公司 XML格式引用 \textit{S.Bensch}等人，Lect。注释计算。科学。7604，28-42（2012；Zbl 1362.68127） 全文： 内政部 哈尔