1
รับ PDA M ซึ่ง L (M) อยู่ใน DCFL สร้าง DPDA N ซึ่ง L (N) = L (M)
มันเป็นไปได้ที่จะสร้างอัลกอริทึมซึ่งจะใช้เวลาเป็น input โฆษณาขยายลงแบบหุ่นยนต์พร้อมกับสัญญาว่าภาษาที่ได้รับการยอมรับโดยหุ่นยนต์นี้เป็นภาษาบริบทกำหนดและผลกำหนดขยายลงหุ่นยนต์ที่รับได้อย่างแม่นยำภาษาที่ได้รับการยอมรับ โดย ?MMML(M)L(M)L(M)Nยังไม่มีข้อความNMMM เป็นปัญหาที่เทียบเท่าจะสร้างอัลกอริทึมซึ่งจะใช้เวลาเป็น input โฆษณาขยายลงแบบออโต (มีสัญญาว่าเป็นกำหนดขึ้นดังกล่าวข้างต้น) และกำหนดขยายลงออNเอาท์พุทจะใช่ถ้าและไม่มีถ้า(N)MMML(M)L(M)L(M)Nยังไม่มีข้อความNL(M)=L(N)L(M)=L(ยังไม่มีข้อความ)L(M) = L(N)L(M)≠L(N)L(M)≠L(ยังไม่มีข้อความ)L(M)\neq L(N) ฉันเชื่อว่าอัลกอริทึมที่แก้ปัญหาแรกจะให้อัลกอริธึมที่สองโดยความสามารถในการตัดสินใจของความเท่าเทียมกันของการกดลงอัตโนมัติ ฉันคิดว่าวิธีแก้ปัญหาข้อที่สองจะบอกถึงวิธีแก้ปัญหาข้อแรกเนื่องจากเราแจกแจงออโตเมตดาต้าที่กำหนดไว้ทั้งหมดและเรียกใช้อัลกอริธึมทีละหนึ่งเมื่อเราได้รับอินสแตนซ์ใช่แล้ว ฉันสงสัยว่าใครรู้อะไรเกี่ยวกับเรื่องนี้? อาจเป็นปัญหาที่ทราบและ / หรือมีวิธีแก้ปัญหาที่รู้จักหรือไม่? นอกจากนี้ฉันเชื่อว่ามันสามารถตัดสินใจได้หากคุณแนะนำข้อ จำกัด ซึ่งระบุว่าภาษาที่สร้างขึ้นโดย PDA เป็นปัญหาคำของกลุ่ม