确定最小堆（或其他奇异）状态机的功能
有关最小堆自动机的定义的一些说明，请参见文章末尾。 可以想象使用各种数据结构来存储供状态机使用的信息。例如，下推式自动机将信息存储在堆栈中，而图灵机使用磁带。已经证明，使用队列的状态机以及使用两个多个堆栈或磁带的状态机在功率上与图灵机相同。 想象一下一个最小堆机器。它的工作原理完全类似于下推式自动机，但以下情况除外： 不必查看添加到堆中的最后一件事，而只需查看堆中当前的最小元素（按机器定义顺序）。 不必删除当前添加到堆中的最后一个东西，而仅删除当前堆中最小的元素之一（按机器定义顺序）。 只能将元素的位置根据堆中的其他元素确定（以在每台计算机上定义的顺序），而不是在堆顶部添加元素。 只需不使用堆，该机器就可以接受所有常规语言。它也可以接受的语言通过加入一个 “S到堆，并除去一个 ”从堆S.当它读取b的。它可以接受多种其他无上下文语言。但是，它不能接受，例如，{ w ^ ∈ { 一，b } * | w ^ = w ^ [R }{anbn∈{a,b}∗∣n≥0}{anbn∈{a,b}∗∣n≥0}\displaystyle \{a^{n}b^{n} \in \{a, b\}^{*} \mid n \ge 0\}aaaaaabbb{w∈{a,b}∗∣w=wR}{w∈{a,b}∗∣w=wR}\displaystyle \{w \in \{a, b\}^{*} \mid w = w^{R}\}（未经证明陈述）。编辑：还是可以？我不认为这可以，但是我以前很惊讶，而且我敢肯定，当我的假设使我变得...很好时，我会一直感到惊讶。 它可以接受任何上下文相关或图灵完备的语言吗？ 更一般而言，朝着这个方向进行了哪些研究（如果有的话）？有什么结果（如果有）？我还对其他种类的奇异状态机感兴趣，可能是那些使用其他数据结构进行存储或各种访问限制（例如，如何限制LBA的TM）的机器。参考被赞赏。如果这个问题表明无知，我先向您道歉。 正式定义： 我在这里提供了最小堆自动机的一些更详细的定义，以阐明参考该材料的问题中的进一步讨论。 我们将类型1不确定的最小堆自动机定义为7元组，其中...(Q,q0,A,Σ,Γ,Z0,δ)(Q,q0,A,Σ,Γ,Z0,δ)(Q, q_0, A, \Sigma, \Gamma, Z_0, …