비이성적 오토마타 및 언어의 합리적 계층 구조 인 Eilenberg의 현재 위치는 어디입니까?


31

그의 영향력있는 저서 인 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 이이 교차 게시 간주되는 경우 사과 -.)


1
나는 그것이 괜찮다고 생각합니다. 수학 의 사본 은 아무런 대답없이 2 주가 넘었습니다.
Kaveh

2
이것은 좋은 질문이지만 답을 모르겠습니다. 여기서 좋은 대답을 얻지 못하면 Mathoverflow를 사용해 볼 수도 있지만 질문에 다시 링크하십시오.
Neel Krishnaswami

어느 스택 교환에 있지 않은 전문가에게 직접 이메일을 보내려고 했습니까? 예 : Jeffrey Shallit과 Jean-Paul Allouche (주제에 관한 책의 저자)?
Joshua Grochow

1
@Joshua-그 책에 대한 포인터 덕분에 매우 흥미로워 보입니다. 저자가 게시 한 pdf도 찾았습니다. 그러나 그것은 Eilenberg 계보에 직접 있지는 않지만 대수학보다 automata와 수 이론 사이의 접촉점과 비슷합니다. 실제로 볼륨 A & B-JE Pin, J. Almeida, J. Sakarovitch에 표시된 Eilenberg의 프로젝트에 더 많은 저자가 있으며 저자도 책을 썼습니다. 그리고 그럼 분명히 그가 볼륨 C.를 위해 한 일에 Eilenberg의 노트를 게시 할 책임이 있습니다, J., Berstel 및 L. 보아 손 거기
데이비드 루이스

답변:


당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.