是否有一本书/调查纸概述了语言类层次结构，闭包属性等

我目前正在进行一些形式语言研究，涉及的语言类别在Regular以上但在Context Free以下。我正在研究诸如反向绑定多计数器计算机，单堆栈计数器计算机，确定性CFL等之类的东西。

我想知道是否有人知道一本概述这些语言特性的好书或调查报告。我正在查看的大多数内容太晦涩或太新，以至于我在Hopcroft-Ullman的书中甚至是1979年版中都没有。

我主要是在寻找另一语言中包含哪些语言类，这些语言的闭包属性以及这些语言的基本问题（F问题）的可判定性。

我将在此参考资料中查找的一些示例：

• 逆向有界多计数器计算机是否接受所有语言，非逆向有界单计数器计算机是否接受语言？
• 确定性反转边界的MultiCounter语言是否在左右串联下关闭？
• 单柜台计算机的通用性是可决定的。

这些只是示例问题，我的日常工作中还有很多其他问题。

首先，我尝试追踪引用Oscar Ibarra的“反转界多计数器机器及其决策问题”的论文，但没有发现太多。

不是标准主题，不。抱歉，我没有一般概述。

但是，我至少可以看看克劳斯·莱因哈特（Klaus Reinhardt）的博士学位论文，了解一下生活在该地区的各个家庭。动物园图见第64页。受Petri Nets的启发，Reinhardt研究了优先级多计数器，并限制了何时进行零测试。不平凡。

顺便说一下，用户Sam Jones 在此论坛中讨论了您的最后一个示例问题。另一个Ibarra参考。