สารบัญ:
คำจำกัดความ - ความหมายเชิง Denotational หมายถึงอะไร
ในวิทยาการคอมพิวเตอร์ความหมายเชิง Denotational เป็นวิธีการในการให้ความหมายทางคณิตศาสตร์กับระบบและภาษาโปรแกรม กล่าวอีกนัยหนึ่งความหมายเชิง Denotational เป็นเทคนิคที่เป็นทางการสำหรับแสดงความหมายของภาษาโปรแกรม
พัฒนาขึ้นในปี 1960 ที่ Oxford University โดยกลุ่มวิจัยการเขียนโปรแกรมของ Christopher Strachey วิธีการดังกล่าวประกอบด้วยความสง่างามที่น่าสังเกตและความแม่นยำทางคณิตศาสตร์ แม้ว่าการออกแบบเริ่มต้นเป็นเครื่องมือในการวิเคราะห์ความหมายเชิง Denotational ถูกนำมาใช้เป็นเครื่องมือสำหรับการใช้งานและการออกแบบภาษา
Techopedia อธิบายความหมายเชิง Denotational
ในความหมายเชิง denotational แนวคิดพื้นฐานคือการทำแผนที่ทุกหน่วยงาน syntactic ที่เกี่ยวข้องกับภาษาการเขียนโปรแกรมในรูปแบบของเอนทิตีทางคณิตศาสตร์บางรูปแบบการแปลภาษาการเขียนโปรแกรมสร้างเป็นวัตถุทางคณิตศาสตร์
นิยามความหมายเชิง Denotational มีห้าส่วน:
- สมการความหมาย
- หมวดหมู่ของวากยสัมพันธ์
- ฟังก์ชั่นความหมาย
- รูปแบบปกติ Backus (BNF) กำหนดโครงสร้างของประเภทวากยสัมพันธ์
- ค่าโดเมน
ความหมายเชิง Denotational ได้รับการพัฒนาขึ้นสำหรับภาษาสมัยใหม่ซึ่งมีคุณสมบัติเช่นข้อยกเว้นและการเกิดพร้อมกัน หนึ่งในคุณสมบัติที่สำคัญของซีแมนติก denotational คือซีแมนทิคควรจะเป็นแบบประกอบความหมายการแสดงความหมายของวลีการเขียนโปรแกรมสามารถสร้างขึ้นได้จาก denotations ของวลีย่อย
มีข้อดีที่แตกต่างบางอย่างที่เกี่ยวข้องกับความหมายเชิง Denotational มันเป็นกลไกที่ง่ายที่สุดในการอธิบายความหมายของโปรแกรมขนาดเล็กเมื่อเทียบกับทางเลือกอื่น ๆ ความหมายเชิง Denotational มีความสามารถในการอธิบายสถานะในโปรแกรม อย่างไรก็ตามความหมายเชิง Denotational มีความซับซ้อนมากสำหรับการอธิบายคุณสมบัติขั้นสูงเช่นคำสั่ง goto และการเรียกซ้ำ
