튜링 머신의 맥락에서 정지, 수락 및 결정의 차이점은 무엇입니까?


10

수락한다는 것은 TM이 현재 읽고있는 셀에서 문자를 읽고 인식한다는 의미입니까? 그리고 입력을 결정할 수있는 경우 TM이 정지되는 경우입니까?


정지는 종료 (수락 / 거부 상태)와 동의어입니다. 언어 수용 (언어 멤버십 결정)은 언어에 속하는 모든 입력에 대해 수용 상태에서 정지하는 것을 의미합니다.
saadtaame

이것은 기본 정의의 문제입니다. 무엇이 당신을 혼란스럽게 했습니까?
Raphael

답변:


10

튜링 머신이 결국 들어갈 수있는 상태를 수락하고 거부하는 것은 한 셀의 심볼뿐만 아니라 테이프에서 읽은 문자열을 기반으로합니다. 물론, 수락 또는 거부 테이프를 입력하는 것에 대한 결정은 궁극적으로 하나의 기호를 기반으로 이루어집니다.

튜링 머신은 결국 수락 상태로 들어가거나 거부 상태로 들어가거나 영원히 반복 될 수 있습니다. 수락 또는 거부 상태가되면 중지됩니다.

튜링 머신은 모든 입력에서 정지하면 전체라고합니다.

튜링 머신에서 허용되는 언어는 튜링 머신에 입력으로 제공 될 때 튜링 머신이 허용 상태로 들어가도록하는 모든 단어 세트입니다.

언어를 받아 들일 수있는 전체 Turing 머신이있는 경우에만 언어를 결정할 수 있다고합니다.


실제로 튜링 머신 프로그램에 대해 이야기해야합니다. 튜링 기계 자체는 모델입니다. 표현의 남용입니다.
saadtaame
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.