Post Correspondence Problem: 편집 역사

2025년 12월 4일 (목)

• 최신이전 02:402025년 12월 4일 (목) 02:40 Pinkgo 토론 기여 2,716 바이트 −483 →Encoding Turing Machine Using PCP
• 최신이전 00:342025년 12월 4일 (목) 00:34 Pinkgo 토론 기여 3,199 바이트 +188 →Encoding Turing Machine Using PCP
• 최신이전 00:282025년 12월 4일 (목) 00:28 Pinkgo 토론 기여 3,011 바이트 0 편집 요약 없음
• 최신이전 00:272025년 12월 4일 (목) 00:27 Pinkgo 토론 기여 3,011 바이트 +1,075 →PCP Formulation as a Language
• 최신이전 00:102025년 12월 4일 (목) 00:10 Pinkgo 토론 기여 1,936 바이트 +2 →PCP Formulation as a Language
• 최신이전 00:082025년 12월 4일 (목) 00:08 Pinkgo 토론 기여 1,934 바이트 +34 →Definition of PCP
• 최신이전 00:082025년 12월 4일 (목) 00:08 Pinkgo 토론 기여 1,900 바이트 +571 →PCP Formulation as a Language
• 최신이전 00:022025년 12월 4일 (목) 00:02 Pinkgo 토론 기여 1,329 바이트 +1,329 새 문서: 분류:계산 이론 개론 분류:컴퓨터 공학 상위 문서: Turing Machines ==개요== 해당 문서에서는 Post Correspondence Problem(PCP)에 대해서 설명한다. ==Definition of PCP== PCP는 도미노 개념에 기반하여 조직된 문제이다. 도미노란 아래와 같은 “위 문자열(top string)”과 “아래 문자열(bottom string)” 쌍을 의미한다: <math>[\frac{b}{ca}]</math>: 위 문...