คำถามติดแท็ก interaction-nets

คำต่อไปนี้ (ใช้ bruijn-indexes): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) เมื่อนำไปใช้เป็นจำนวนคริสตจักรNประเมินรูปแบบปกติได้อย่างรวดเร็วในการประเมินผลที่มีอยู่หลายแห่งรวมทั้งคนที่ไร้เดียงสา แต่ถ้าคุณเข้ารหัสคำนั้นเพื่อใช้อวนในการโต้ตอบและประเมินโดยใช้อัลกอริธึมบทคัดย่อของ Lamping มันต้องใช้จำนวนเลขชี้กำลังของการลดเบต้าที่สัมพันธ์Nกัน บน Optlam โดยเฉพาะ: N interactions(betas) (BADTERM N) 1 129(72) λλλ(1 (2 (2 (2 (2 (2 (2 (2 0)))))))) …

10 cc.complexity-theory  lambda-calculus  interaction-nets 

ผู้ทำปฏิกิริยาโต้ตอบได้เสนอให้เป็นเป้าหมายในการรวบรวมสำหรับ calcul-แคลคูลัสก่อน กระดาษนั้นใช้แคลคูลัสเต็ม full มันเป็นที่รู้จักกันว่ามันเป็นไปได้ที่จะเพิ่มประสิทธิภาพการเข้ารหัส - สุทธิของแคลคูลัส λ- แคลคูลัสสำหรับเซตย่อยของ terms- ข้อตกลงที่เป็นประเภท EAL กระดาษนั้นใช้ส่วนย่อยของ calcul-แคลคูลัสโดยแปลข้อตกลง EAL-typeable ให้กับอวนปฏิสัมพันธ์ที่มีเนื้อหาที่ซับซ้อนกว่า combinators ปฏิสัมพันธ์เนื่องจากใช้ตัวอักษรที่ไม่มีที่สิ้นสุดของฉลากเพื่อจัดกลุ่มนักทำสำเนา ฉันสงสัยว่าเป็นไปได้หรือไม่ที่จะรวมทั้งข้อเสนอเข้าด้วยกัน นั่นคือมีการเข้ารหัสสำหรับอัลกอริธึมนามธรรม - นั่นคือ terms- เงื่อนไขที่เป็น EAL-typeable - เป็น combinators ปฏิสัมพันธ์หรือไม่

10 lambda-calculus  functional-programming  interaction-nets