호기심에서, 내가 작업하는 시스템의 모델이 기능적으로 동일하고 동등성을 증명할 수있는 모델을 식별하려고합니다. 이 문제에 더 오래 걸릴수록 시스템이 Turing과 동등한 것으로 의심됩니다. 튜링 머신과 재귀 적으로 열거 가능한 언어에 대한 나의 이해는 훌륭하지만 더 적은 기능 (예 : 푸시 다운 오토 마톤)을 갖춘 오토마타에 대해 많이 알지 못하여 어떻게
시험 개정을하는 동안 Sipser의 "계산 이론 개론"이라는 책에서 다음 질문에 답하는 데 어려움을 겪고 있습니다. 불행히도이 문제에 대한 해결책은 책에 없습니다. 다음은 합법적 인 튜링 기계가 아닌 이유를 설명하십시오. M = { 입력은, 변수 (X1) 위에 다항식 P이다 ... 은 X1의 모든 가능한 설정을 시도 XN, ... 정수 XN은 값 이 모든