이 튜링 기계가 실제로하는 일을 해석하는 데 문제가 있습니다 (즉, 영어로 설명하는 방법을 잘 모릅니다). 난 I 올바르게 I는 (이 중 100 %에 있음)가 주어 천이 테이블을 이용 상태도를 작성한 믿는다. 입력 폼 (a || b || B)*Ba*c(a || b || c || B)*의 때마다 I은 수용성 상태 (q2)에서 멈춘다이 TM을 볼 수있는 것과
손에 달려있는 질문은 다음과 같습니다. S를 N (자연수)의 하위 집합이라하면 무한하고 셀 수 있습니다. Ls = {a^n | n은 S}에 속한다. Ls는 재귀 적입니까? Ls는 재귀 적으로 열거 가능합니까? 답을 정당화하십시오. Ls (또는 그 문제에 대한 Turing Machine)를 결정하는 프로그램을 작성할 수 있기 때문에 L이 모든 S에 대해 재귀
나는 TM = DFA는 정지에서 감소를 사용하여 결정 불가능하다는 것을 증명하고있다 이론적으로 Turing Machine은 계산 가능한 모든 기능을 캡처하고 DFA는 상수로 계산할 수있는 기능 만 캡처한다는 것을 이해합니다. 공간 따라서 TM = DFA는 결정 불가능하다. 여기 내 단계는 : 결정하는 R L (M) = L (D)를 가정 EQ_DM = {[D
인식 또는 공동 튜링이 인식 튜링된다 A = {<M> | M is a TM and L(M) contains exactly n strings }
B = {<N> | N is a TM and L(N) contains more than n strings }
나는이 둘은 결정 불가능하다고 생각하지만, 그들이 인식 또는 공동 튜링이 인식 튜링 여부를 나는 확실