Isi kandungan:
Definisi - Apakah maksud Semantik Denotational?
Dalam sains komputer, semantik denotasi adalah pendekatan untuk menyediakan makna matematik kepada sistem dan bahasa pengaturcaraan. Dengan kata lain, semantik denotasi adalah teknik formal untuk menyatakan definisi semantik bahasa pengaturcaraan.
Dibangunkan pada tahun 1960-an di Oxford University oleh Kumpulan Penyelidikan Pemrograman Christopher Strachey, metodologi ini terdiri daripada kealpaan notasi dan ketat matematik. Walaupun pada mulanya direka sebagai alat analisis, semantik denotasi telah digunakan sebagai alat untuk pelaksanaan dan reka bentuk bahasa.
Techopedia menerangkan Semantik Denotasional
Dalam semantik denotasi, idea asas memetakan setiap entiti sintaks yang dikaitkan dengan bahasa pengaturcaraan ke dalam beberapa bentuk entiti matematik, menerjemahkan bahasa pengaturcaraan membina ke objek matematik.
Definisi semantik denotasi mempunyai lima bahagian:
- Persamaan semantik
- Kategori sintaktik
- Fungsi semantik
- Borang backus normal (BNF) menentukan struktur kategori sintaksis
- Nilai domain
Semantik denotasi telah dibangunkan untuk bahasa moden yang mempunyai ciri-ciri seperti pengecualian dan kesukaran. Salah satu ciri penting dalam semantik denotasi ialah semantik perlu komposisi, yang bermaksud denotasi frasa pengaturcaraan boleh dibina dari denotasi frasa-frasa tersebut.
Terdapat beberapa kelebihan yang berkaitan dengan semantik denotasi. Ia adalah mekanisme yang paling mudah untuk menerangkan makna program yang lebih kecil berbanding dengan alternatif lain. Semantik denotational mampu menerangkan keadaan dalam program. Walau bagaimanapun, semantik denotasi cenderung menjadi sangat kompleks untuk menerangkan ciri-ciri canggih seperti kenyataan goto dan rekursi.
