1
คู่พื้นฐานของ combinator ที่สมบูรณ์แบบที่สุดสำหรับการแสดงผลแบบแบน
ในกระดาษของ Chris Okasaki " Flattening Combinators: Surviving Without วงเล็บ) " เขาแสดงให้เห็นว่ามีสอง combinators เพียงพอและจำเป็นสำหรับการเข้ารหัสนิพจน์ทัวริงที่สมบูรณ์โดยไม่จำเป็นต้องใช้ตัวดำเนินการหรือวงเล็บ เมื่อเทียบกับการเข้ารหัสของ combinatory ตรรกะของ John Trump ใน " Binary Lambda แคลคูลัสและ Combinatory Logic " ผ่านการเข้ารหัสคำนำหน้า S และ K combinators กับผู้ให้บริการแอปพลิเคชันเพียงต้องการ combinators สองตัวสำหรับการแสดงแบบแบนเพิ่มความหนาแน่นของรหัส ผลลัพธ์ของการกำหนดหมายเลข Goedel จะจับคู่ทุกจำนวนเต็มกับนิพจน์ระยะปิดที่มีรูปแบบที่ถูกต้องซึ่งแตกต่างจาก esolangs ที่มีความยาวแคลคูลัสและคำอธิบายน้อยที่สุดซึ่งตัวแทนที่เป็นที่ยอมรับทั่วไปมักอนุญาตให้คำอธิบายโปรแกรมที่ไม่ถูกต้อง อย่างไรก็ตามการเข้ารหัสของ Okasaki นั้นมีประโยชน์มากที่สุดในการทำแผนที่ทางเดียวจากคำศัพท์ lambda แคลคูลัสกับ bitstrings ไม่จำเป็นต้องเป็นวิธีอื่น ๆ เนื่องจาก combinators สองตัวที่ใช้ในการลดนี้ค่อนข้างซับซ้อนเมื่อใช้เป็นคำแนะนำในการทดแทนที่ใช้งานได้จริง …