We formalize the problem as that of

We formalize the problem as that of finding an initialized discrete-time system N with outputs whose M behavior outputs whose S behavior machines D for F, that is, G for all H.

Here we will just guess a solution.

One possibility is as follows:

ผลลัพธ์ (ไทย) 1:

เรา formalize ปัญหาเป็นที่ค้นหาเริ่มแยกกันเวลาระบบการ N ด้วยลักษณะการทำงานของ M ซึ่งแสดงผลเครื่องจักรทำงาน S D สำหรับ F, G คือ H. ทั้งหมดสำหรับการแสดงผลที่นี่เราจะแค่เดาโซลูชันความเป็นไปได้ที่หนึ่งจะเป็นดังนี้:

ผลลัพธ์ (ไทย) 2:

เราเป็นระเบียบแบบแผนปัญหาเป็นที่ของการหาระบบที่ไม่ต่อเนื่องเวลาที่เริ่ม N กับเอาท์พุทที่มี M เอาท์พุทที่มีพฤติกรรม S เครื่องพฤติกรรม D สำหรับ F, ที่อยู่, G สำหรับเอชที่นี่เราก็จะคิดว่าวิธีการแก้ปัญหา. หนึ่งเป็นไปได้ดังต่อไปนี้ :

ผลลัพธ์ (ไทย) 3:

เราทำให้เป็นรูปเป็นร่างปัญหาที่หาเวลาเริ่มต้นระบบด้วยผลที่มีผลของพฤติกรรมที่มีพฤติกรรมเครื่องจักร M D F , G สำหรับ H .

เราก็เดาทางออก

มีความเป็นไปได้ดังนี้