그의 영향력있는 저서 인 Automata, Languages and Machines (볼륨 A, B)의 서문에서 Samuel Eilenberg는 볼륨 C와 D가 "비이성적 현상의 계층 구조 (합리적 계층 구조라고 함)를 다루는 것을 합리적으로 약속했습니다. 합리적 세트는이 계층 구조의 맨 아래에있다 위로 올라가면 '대수 현상'이 생겨나 고, 이는 "Chomsky의 문맥이없는 문법과 문맥이없는 언어 및 여러 관련 주제로 이어진다".
그러나 Eilenberg는 C 권을 출판하지 않았습니다. 그는 처음 몇 장 ( http://www-igm.univ-mlv.fr/~berstel/EilenbergVolumeC.html )에 대한 필기 필기 메모를 남기고 긁힘, 물음표, 사이드 노트 및 격차. 그러나 그들은 문법에 대한 잘 알려진 파워 시리즈 접근법의 시작을 넘어서서 많은 것을 드러내지 않습니다.
내 실제 질문-누군가 Eilenberg가 생각한 것을 재구성하기 위해 같은 줄을 따라 작업을 알고 있습니까? 그렇지 않다면 어떤 아이디어가 그의 아이디어에 가장 가까운 것입니까?
http://x-machines.net/ 사이트 는 Eilenberg의 주요 혁신 중 하나 인 x-machines에 관한 것이지만, Eilenberg가 약속 한 것처럼 이론을 더 발전시키지 않고 주로 x-machine의 응용을 다룹니다.
또한, 볼륨 C에서 많은 진전을 이루기 전에 왜 Eilenberg가 멈추었는지 알고 있습니까? 이것은 70 년대 후반이었고, 1998 년까지 살았지만 B 권 이후에는 어떤 수학도 출판 한 것으로 보이지는 않았지만 최소한 C 볼륨과 D 볼륨에 대한 수학은 최소한 그의 마음 속에서 이루어졌다.
(- 동일한 질문 math.stackexchange에 요청 https://math.stackexchange.com/questions/105091/eilenbergs-rational-hiererchy-of-nonrational-automata-languages 이이 교차 게시 간주되는 경우 사과 -.)