ภาษาหนึ่งเรียกว่า Decidable หรือ Recursive หากมี เครื่องทัวริงที่ยอมรับและหยุดในทุกสตริงอินพุต w ทุกภาษาที่ตัดสินใจได้คือทัวริง-ยอมรับได้ ปัญหาการตัดสินใจ P สามารถตัดสินใจได้หากภาษา L ของใช่ทั้งหมด อินสแตนซ์ไปยัง P ตัดสินใจได้
การตัดสินใจของคุณหมายความว่าอย่างไร
: สามารถตัดสินใจได้โดยเฉพาะ: สามารถตัดสินใจได้ว่าทำตามหรือไม่ทำตามจากสัจพจน์ของระบบตรรกะ ตรรกะสมบูรณ์หรือไม่ … ? และตัดสินใจได้หรือไม่ ในแง่ที่ว่ามีวิธีที่แสดงให้เห็นความจริงหรือความเท็จของทุกข้อความ? -
การตัดสินใจและตัดสินใจไม่ได้แตกต่างกันอย่างไร
A ปัญหาการตัดสินใจ สามารถตัดสินใจได้หากมีอัลกอริธึมการตัดสินใจ มิฉะนั้นจะตัดสินใจไม่ได้ เพื่อแสดงให้เห็นว่าปัญหาการตัดสินใจนั้นตัดสินได้ ก็เพียงพอที่จะให้อัลกอริธึมสำหรับมัน
คุณคำนวณความสามารถในการตัดสินใจอย่างไร
ภาษาคือ ตัดสินใจได้ก็ต่อเมื่อสามารถจดจำได้เท่านั้น การพิสูจน์. หากภาษานั้นตัดสินได้ ส่วนเสริมของมันก็ตัดสินได้ (โดยการปิดภายใต้การเติมเต็ม)
ปัญหาการตัดสินใจคืออะไร
(คำจำกัดความ) คำนิยาม: ปัญหาการตัดสินใจที่สามารถแก้ไขได้โดยอัลกอริทึมที่หยุดอินพุตทั้งหมดในขั้นตอนที่จำกัด ภาษาที่เกี่ยวข้องเรียกว่าภาษาที่ตัดสินใจได้ ยังเป็นที่รู้จักกันในนามปัญหาที่ตัดสินใจได้โดยสิ้นเชิง