언어가 튜닝 인식 할 수있는 경우 IFF가 계산 가능한 경우

Question

이 증거에 대해 매우 작은 질문, Sipser 's에서 3.21을 발견하고, 내 강의 노트에서 발견했습니다.

"만있는 경우"방향으로 $ m $ 은 일부 언어 $ l $를 인식한다고 가정합니다. . 우리는 $ s_1, s_2, s_3, \ dots $

입력 알파벳 (사전식 명령어, 말하기)에있는 모든 문자열을 나열합니다.

우리는 $ i= 1,2,3, \ dots $에 대한 $ e $ 을 구성합니다. 은 $ m $ 수학 컨테이너 "> $ i $ 단계 에 대해 을 단순히 실행합니다. 각 입력 $ S_1, S_2, S_3, \ DOTS, S_ $ ; 그런 다음 $ m $ 에서 승인되는 $ s_j $ 을 인쇄합니다. $ e $ 은 우리가 필요로하는 것입니다.

지금은 문자열이 유한하다는 것을 알고 있으므로 $ M $ 을 실행 해야하는 이유는 무엇입니까? $ 첫 번째 $ i $ 문자열에서 질문 "이론을위한"파트가 "언어가있는 경우에만 일부 열거자가 그것을 열거하는 경우"

Answer 1

$ i $ -TH 문자열에서 $ M $ 을 실행하면 결코 멈추지 않을 수 있습니다.따라서 알고리즘이 붙어있을 것입니다.아이디어는 $ m $ 이 $ i $ -the 문자열에서 -the String을 $ j $ 단계 단계에서 $ \ max (i, j) $ -th string.