サミュエル・アイレンバーグは、彼の非常に影響力のある本「オートマタ、言語、機械」（巻A、B）の序文で、「非合理現象の階層（合理的階層と呼ばれる）...合理的なセットはこの階層の最下部にあります。上に移動すると、「代数現象」に遭遇し、「チョムスキーの文脈自由文法と文脈自由言語、およびいくつかの関連トピック」につながります。
しかし、EilenbergはボリュームCを発行しませんでした。最初のいくつかの章（http://www-igm.univ-mlv.fr/~berstel/EilenbergVolumeC.html）には、スクラッチアウト、疑問符、サイドノート、ギャップ。しかし、それらは、文法に対する有名なべき級数アプローチの始まりをはるかに超えて明らかにしません。
だから、私の実際の質問-エイレンバーグが念頭に置いていたものを再構築するために、同じ線に沿って仕事を知っている人はいますか？そうでない場合、どの資料が彼のアイデアに最も近いと思われますか？
サイトhttp://x-machines.net/は、Eilenbergの主要な革新の1つであるx-machinesについてですが、Eilenbergが約束したように理論をさらに発展させるのではなく、主にx-machinesのアプリケーションを扱っています。
また、ボリュームCで大きな進歩を遂げる前にアイレンバーグが停止した理由を誰もが知っていますか？これは70年代後半で、1998年まで生きましたが、B巻の後に数学を発表したようには見えませんでした。
（math.stackexchangeで尋ねられた同じ質問-https : //math.stackexchange.com/questions/105091/eilenbergs-rational-hiererchy-of-nonrational-automata-languages- これがクロスポストと見なされる場合は謝罪します。）