คำถามติดแท็ก computability

จากประสบการณ์ของฉันภาษาที่ไวต่อบริบทและออโตมายาแบบ จำกัด เชิงเส้นจะถูกข้ามหรือถูก breezed มากกว่าในหลักสูตรทฤษฎีการคำนวณและแม้กระทั่งจากหนังสือตำราที่มีชื่อเสียงบางเล่ม แน่นอนว่าจะต้องมีเหตุผลที่ดีว่าทำไม LBA จึงให้ความสำคัญน้อยกว่าคู่แข่ง

9 computability  fl.formal-languages  automata-theory 

ปิด. คำถามนี้เป็นคำถามปิดหัวข้อ ไม่ยอมรับคำตอบในขณะนี้ ต้องการปรับปรุงคำถามนี้หรือไม่ อัปเดตคำถามเพื่อให้เป็นหัวข้อสำหรับการแลกเปลี่ยนวิทยาการคอมพิวเตอร์เชิงทฤษฎี ปิดให้บริการใน3 ปีที่ผ่านมา มีการสร้างฟังก์ชั่นเรียกซ้ำแบบสากลสั้น ๆหรือไม่? คำจำกัดความทั้งหมดที่ฉันได้เห็นเกี่ยวข้องกับการกำหนดหมายเลขเครื่องทัวริงในทางใดทางหนึ่งซึ่งเป็นไปได้ แต่ดูเหมือนยากและไม่สามารถจัดการได้ในการเขียนด้วยภาษาโปรแกรมระดับสูงกว่า (เช่น Python, Haskell เป็นต้น)

9 lo.logic  computability  pl.programming-languages