푸시 다운 오토마타 및 CFL에 대한 "대수적"접근 방식에 대한 참조 자료?

에서 Sakarovitch의 책 오토마타 이론, 섹션에 대한 소개로 작성 자유 그룹의 유리수 재료 내부에 발표 "문맥 자유 언어의 진정한 수학적 이론의 기초"를 낳는 것이다. 그럼에도 불구하고 문맥에 맞지 않는 언어와 푸시 다운 오토마타는이 책의 범위를 벗어나므로 명시 적으로 설명되지 않습니다.

난 공짜로 그룹의 일부 연결 인식 (특히 Sakarovitch가 부르는입니다 involutive monoids를 예를 들면, 등 반다이 크 언어의 샤미르의 정리는, 그러나, 나는이 있었다 -) 푸시 다운 오토마타와 문맥 - 자유 언어의 이론 Sakarovitch가 언급 한 "실제로 사용되지 않는 언어에 대한 수학적 이론"이 실제로 구축 된 자료를 찾는 데 어려움을 겪고 있습니다.

내가 찾은 가장 가까운 것은 변환과 문맥없는 언어에 관한 Berstel의 책 이다. 그러나 언뜻보기에 푸시 다운 오토마타는이 책에서 조금만 다루어 지지만 자유 그룹의 합리적인 부분 집합 이론은 전혀 적용되지 않는 것으로 보인다. 아마도 내가 찾고있는 자료는 Eilenberg의 Volume C를위한 것이지만, 그 둘 다 확실하지 않습니다.

그래서 저는 Sakarovitch의 "정확한 수학적 맥락의 문맥없는 언어 이론"과 자유 그룹과의 관계에 대한 정보를 얻을 수있는 책, 설문 조사 또는 논문에 대한 포인터를 요청하고 싶습니다. 서브 세트. 아니면 실제로 존재하지 않는 것을 찾고 있습니까?

1976 년의 Sakarovitch 박사 학위 논문은 Monoïdes syntactiques et languages ​​algébriques (구문 모노 이드 및 대수 언어)로이 주제를 중심으로 진행됩니다. 당시, 이것은 지적 된 모노 이드 의 정의로 이어졌다 (예를 들어, 그의 MFCS'75 논문 참조 ). 80 년대 무렵, CFL을 연구하기 위해 선택한 대수적 대상은 Hotz 그룹으로 옮겨갔습니다 . Inf. 내가 아는 한, 지적 된 단일체 는 Behle, Krebs, et al. ; 마찬가지로,보다 정교한 도구, 특히 Stone 이중성에 기반한 일부 최근 접근 방식은 그러한 연구에 대한 건전한 틀을 제공 할 수 있습니다.

또 다른 현대적인 접근 방식은 구문 개념 격자 에 대한 Clark의 접근 방식입니다 .

저자의 실제 의도와 관련하여 한 가지 안전한 방법은 직접 물어 보는 것입니다.

Michaël Cadilhac이 제공 한 참고 자료 외에이 논문을 추가하겠습니다.

Berstel, J .; Boasson, L. 문맥이없는 언어에 대한 대수 이론을 향하여 . 축적. 알립니다. 25 (1996), no. 3-4, 217-239.