言語クラスの階層、クロージャーのプロパティなどを概説した本/調査紙はありますか

現在、レギュラー以上でコンテキストフリー以下の言語のクラスを含む形式言語の研究を行っています。私は、反転境界付きマルチカウンターマシン、シングルスタックカウンターマシン、決定論的CFLなどのようなものを見ています。

誰かがこれらの言語の特性を概説する良い本や調査論文を知っているのだろうかと思っています。私が見ているもののほとんどは、ホプクロフト・ウルマンの本、1979年版にさえ含まれるにはあまりにも曖昧すぎるか、あまりにも新しいものです。

主に、互いに含まれる言語クラス、これらの言語のクロージャープロパティ、およびこれらの言語の基本的な問題（F問題）の決定可能性を探しています。

このリファレンスで調べることのいくつかの例：

• 反転限定マルチカウンターマシンで受け入れられるすべての言語は、反転限定でない単一カウンターマシンでも受け入れられますか？
• 決定論的な反転境界MultiCounter言語は、左右の連結の下で閉じられていますか？
• シングルカウンターマシンの普遍性は決定可能です。

これらは単なる質問の例であり、日々の仕事で出てくる他の多くのものがあります。

出発点として、どの論文がオスカーイバラの「反転限界マルチカウンターマシンとその決定問題」を引用しているのかを追跡してみましたが、多くは見つかりませんでした。

標準のトピックではありません。申し訳ありませんが、一般的な概要はありません。

ただし、少なくともこの地域に住んでいるさまざまな家族の写真については、クラウスラインハルトの博士論文をご覧ください。動物園の図については、64ページを参照してください。阻害剤アークを使用したペトリネットの動機Reinhardtは、ゼロテストを実行するタイミングを制限した優先度の高いマルチカウンターを研究しています。自明ではありません。

ところで、最後の質問例はこのフォーラムでユーザーSam Jonesによって議論されました。別のイバラ参照。