0
[title] 위의이 문장이 참인지 궁금합니다.모든 비 재귀 언어가 무한하다는 것을 증명하십시오.
여기에 이미 나와있는 내용이 있습니다. 비 재귀 적 의미는 결정할 수 없습니다.
내가 읽은이 말한다 Are all infinite languages undecidable?
: 언어가 결정 불가능하다
경우 (비 재귀), 일부 문자열은 TM은 IT가 INFINITE 반드시 가질 halt.SO에 실패 할이 있어야합니다 TM이 마비를 일으키지 못하게하는 것.
내 명세서 [제목]이 어떻게 증명 될 수 있습니까? 누구든지 나에게 좀 더 명확하게 설명 할 수 있을까?
감사합니다.
ps입니다. 혼란을 드려 죄송합니다. 예 TM은 튜링 기계를 의미합니다. 그리고 너무 분명하다. 내 질문은 : 모든 비 재귀 언어가 무한대인가?
여기에는 여러 가지 개념이 있습니다. '비 재귀 == 무한'또는'비 재귀 == undecidable' 또는'무한 == undecidable' 또는 완전히 다른 것이 궁금하십니까? 또한 사람들이 이해하기 어려운 약어를 사용하지 마십시오 (적어도 "TM"은 "Turing Machine"을 의미 함). 질문 도메인을 기반으로합니다. – twalberg
혼란스럽게 생각합니다. 예 TM은 튜링 기계를 의미합니다. 그리고 너무 분명하다. 내 질문은 : 모든 비 재귀 언어가 무한대인가? @twalberg – geasssos
한 문자 (A라고 함)와 단일 프로덕션 "P -> A"로 구성된 알파벳이있는 언어를 생각해보십시오. 이 언어는 단일 입력, 즉 A를 허용하며 확실히 재귀 적이며 확실히 무한대입니다. 그래서, 아니, 모든 비 재귀 언어가 무한합니다 ... – twalberg