1
언어가 어떤 기준을 만족하면 튜링이 완료되었다고 말할 수 있습니다. Milner의 CCS (Calculus of Communicating Systems)는 튜링이 완성되었습니다. 그러나, 나는 이것에 대한 증거를 찾을 수 없었다. 이것에 대한 증거가 있습니까?은 Milner'c의 CCS 튜어입니다.
A
답변
1
예, 알려진 튜링 완료 언어를 CCS에 인코딩하면 튜링 완성도를 설정할 수 있습니다. 이러한 인코딩의 구성은 증명입니다. 이것은 여러 상황에서 (내 지식으로) 이루어졌지만 가장 직접적인 것은 encoding of the Pi calculus into CCS 일 가능성이 큽니다.
+0
튜링과 튜링이 똑같은지 또는 강력한 튜링인지 전혀 의심하지 않습니다. – exterminator
+0
두 용어는 같은 의미입니다. – Sneftel
이 질문은 전산 이론에 관한 주제이기 때문에 논점이없는 것처럼 보입니다. – nneonneo