언어 클래스 계층 구조, 폐쇄 속성 등을 설명하는 서적 / 설문지가 있습니까?

현재 정규 언어 이상이지만 컨텍스트가없는 언어 클래스가 포함 된 일부 공식 언어 연구를하고 있습니다. 리버스 바운드 멀티 카운터 머신, 단일 스택 카운터 머신, 결정적 CFL 등을보고 있습니다.

이 언어의 속성을 설명하는 좋은 책이나 설문지를 아는 사람이 있는지 궁금합니다. 내가보고있는 대부분의 내용은 Hopcroft-Ullman 서적 (1979 년판)에 속하기에는 너무 모호하거나 너무 새롭습니다.

주로 나는 어느 언어 클래스가 다른 언어 클래스에 포함되어 있는지, 이러한 언어의 클로저 속성 및 이러한 언어의 기본 문제 (F 문제)의 결정 가능성을 찾고 있습니다.

이 참조에서 찾을 것의 몇 가지 예 :

• 리버스 바인드 멀티 카운터 머신에서 모든 언어를 사용할 수 있습니까? 리버스 바인드되지 않은 단일 카운터 머신에서도 사용할 수 있습니까?
• 결정적 역전 된 MultiCounter 언어가 왼쪽과 오른쪽 연결로 닫혀 있습니까?
• 단일 카운터 머신에 대해 범용성을 결정할 수 있습니다.

이것들은 단지 예시적인 질문 일뿐입니다. 저의 일상적인 일에 많은 다른 것들이 있습니다.

출발점으로, 나는 Oscar Ibarra의 "반복 경계 다중 카운터 기계 및 그들의 결정 문제"를 인용하는 논문을 추적하려고 시도했지만 그다지 찾지 못했습니다.

표준 주제가 아닙니다. 죄송합니다. 일반적인 개요가 없습니다.

그러나 나는 클라우스 라인 하르트 의 박사 학위 논문 에서 적어도이 지역에 사는 다양한 가족의 사진을 볼 것이다. 동물원의 다이어그램은 64 페이지를 참조하십시오. 금지 호를 가진 Petri Nets에 의해 동기 부여 Reinhardt는 제로 테스트를 수행 할시기에 대한 제한이있는 우선 순위 다중 계수기를 연구합니다. 사소한.

그건 그렇고,이 포럼 에서 마지막 예제 질문이 사용자 Sam Jones에 의해 논의되었습니다 . 또 다른이 바라 참조.