มีความหมายเชิง Denotational ที่เป็นที่รู้จักสำหรับภาษาโปรแกรมเชิงฟังก์ชันที่มีความน่าจะเป็นสูงกว่าหรือไม่ โดยเฉพาะมีรูปแบบโดเมนของบริสุทธิ์ untypedแคลคูลัสขยายโดยการดำเนินการเลือกไบนารีสุ่มสมมาตร
แรงจูงใจ
หมวดหมู่คาร์ทีเซียนปิดให้ความหมายกับคำสั่งที่สูงกว่า -calculi โดเมนพลังงานที่น่าจะเป็นให้ความหมายกับโปรแกรมสุ่ม CCC ที่ปิดภายใต้การดำเนินการโดเมนพลังงานที่น่าจะเป็นจะให้ความหมายกับภาษาการเขียนโปรแกรมฟังก์ชั่นการสั่งซื้อที่สูงขึ้น
งานที่เกี่ยวข้อง
Tix, Keimel และ Plotkin (2004) [1] ให้การก่อสร้างที่ทันสมัยของการดำเนินการด้านล่าง -, ด้านบน, และนูน - powerdomain แต่ตั้งข้อสังเกตว่า
มันยังคงเป็นปัญหาที่เปิดกว้างว่ามีโดเมนประเภทต่อเนื่องแบบคาร์ทีเซียนที่ปิดอย่างต่อเนื่องหรือไม่ซึ่งอยู่ภายใต้การสร้างโดเมนพลังงานความน่าจะเป็น
Mislove (2013) [2,3] ให้ซีแมนทิกส์สำหรับตัวแปรสุ่มต่อเนื่องในภาษาอันดับหนึ่ง แต่พูดว่า
แม้ว่าโดเมนกำลังน่าจะเป็นออกจาก CCC ของ posets สมบูรณ์กำกับ (dcpos, สั้น ๆ ) และสก็อตต์อย่างต่อเนื่องแผนที่คงที่ไม่มีหมวดหมู่ของโดเมนคาร์ทีเซียนปิด - dcpos ที่ตอบสนองสมมติฐานการประมาณปกติ - ที่เป็นที่รู้จักกันคงที่ภายใต้ โครงสร้างนี้ สิ่งที่ดีที่สุดที่เป็นที่รู้จักคือหมวดหมู่ของโดเมนที่สอดคล้องกันนั้นไม่แปรเปลี่ยนภายใต้ความน่าจะเป็นทางเลือก monad [4] แต่หมวดนี้ไม่ได้ปิดคาร์ทีเซียน
อ้างอิง
- Regina Tix เคลาส์ Keimel และกอร์ดอน Plotkin (2004) "โดเมนความหมายสำหรับการรวมความน่าจะเป็นและไม่ใช่ชะตา"
- Michael Mislove (2013) "กายวิภาคของโดเมนของตัวแปรสุ่มต่อเนื่องฉัน"
- Michael Mislove (2013) "กายวิภาคของโดเมนของตัวแปรสุ่มต่อเนื่อง II"
- Jung, A. และ R. Tix (1998) "โดเมนของความน่าจะเป็นที่น่าจะเป็นปัญหา"