상황에 맞는 모든 언어를 결정할 수 있습니까?

12

문맥 인식 언어에 대한 Wikipedia 정의를 살펴 보았는데 이것을 발견했습니다.

각 언어 범주는 바로 위에있는 범주의 적절한 하위 집합입니다. 각 범주의 모든 자동 및 문법은 바로 위의 범주에서 동등한 자동 또는 문법을 갖습니다.

선형 경계 오토 마톤이 기사의 주문에서 결정자 바로 아래에 있음을 알 수 있습니다. 이 경우 LBA의 모든 계산이 특정 시점에서 중지됩니다 (모든 LBA가 결정자이므로). 그러나 나는 결코 멈추지 않는 동시에 LBA에서 실행될 수있는 계산이있을 수 있다고 생각합니다. 예를 들어 LBA에 대한 계산을 작성할 수 있습니다.

테이프의 첫 번째 기호를 읽고 오른쪽으로 이동하십시오.
다음 기호를 읽고 왼쪽으로 이동하십시오.

이 (무용 한) 계산 (분명히 LB 계산)은 왼쪽과 오른쪽으로 무한히 진동하며 멈추지 않으며 따라서 결정자가 될 수 없습니다. 나는 어디에서 잘못 생각하고 있습니까?

— 봉구
소스

1

CSL을 결정하는 것은 비 종단 LBA가 있는지 여부와 무관 : 만이 존재하는 것이 위해 LBA를.

— Raphael

9

첫째, 모든 상황에 맞는 언어는 LBA에서 받아 들일 수 있으므로 결정 가능하며 튜링 머신은 LBA보다 강력합니다.

$M$ $M'$ $M$ $M'$

— 슐츠
소스

여전히이 답변을 이해하지 못하는 사람이 있다면 추가 설명 을 위해이 프레젠테이션 의 슬라이드 3-4를 참조하십시오 .

— bongubj

0

John E Martin의 언어 소개와 계산 이론을 살펴보십시오.

283 페이지 : 결정적 LBA에서 모든 CSL을 수락 할 수 있는지 여부와 같이 상황에 맞는 언어와 관련하여 여전히 공개적인 질문이 있습니다.

— 아미르 니카 바디
소스

이 질문에 어떻게 대답합니까? 결정형 또는 비결 정형 선형 공간이 필요한지 여부에 관계없이 상황에 맞는 언어는 모두 결정 가능합니다.

— Yuval Filmus