Terdapat beberapa hubungan antara sintaks dan semantik di mana setiap unsur semantik dikaitkan dengan sekurang-kurangnya satu penulisan sintaksis dan yang lain menjamin bahawa setiap perwakilan sintaksik mempunyai makna tersendiri.
Carta Perbandingan
| Asas untuk perbandingan | Sintaks | Semantik |
|---|---|---|
| Asas | Frasa bahasa yang dibenarkan. | Tafsiran frasa. |
| Kesilapan | Dikendalikan pada masa penyusunan. | Menghadapi runtime. |
| Hubungan | Tafsiran sintaktik mesti mempunyai makna tersendiri. | Komponen semantik dikaitkan dengan perwakilan sintaksis. |
Definisi Sintaks
Sintaks bahasa pengaturcaraan digunakan untuk menandakan struktur program tanpa mengambil kira maknanya. Ia pada dasarnya menekankan struktur, susunan program dengan penampilan mereka. Ia melibatkan koleksi aturan yang mengesahkan urutan simbol dan arahan yang digunakan dalam program. Model pragmatik dan perhitungan menggambarkan komponen sintaksik bahasa pengaturcaraan ini. Alat yang berkembang untuk spesifikasi sintaks bahasa pengaturcaraan adalah tatabahasa biasa, bebas konteks dan sifat.
Walau bagaimanapun, apakah penggunaan tatabahasa dalam aspek ini? Tatabahasa umumnya merupakan peraturan penulisan semula yang tujuannya untuk mengenali dan menjana program. Tatabahasa tidak bergantung pada model perhitungan sebaliknya digunakan dalam perihalan struktur bahasa. Tatabahasa mengandungi kumpulan tatabahasa yang terhingga (seperti frasa kata nama, frasa kata kerja, artikel, kata benda, dan lain-lain), kata-kata yang bersendirian (unsur-unsur abjad) dan peraturan yang dibentuk dengan baik untuk menentukan urutan komponen komponen tatabahasa patut muncul.
Analisis sintaks adalah tugas yang dilakukan oleh pengkompil yang meneliti sama ada program tersebut mempunyai pokok derivasi yang berkaitan atau tidak.
Sintaks bahasa pengaturcaraan dapat ditafsirkan menggunakan teknik formal dan informal berikut:
- Sintaks leksikal untuk menentukan peraturan bagi simbol asas yang melibatkan pengenal, literals, punctuators dan operator.
- Sintaks konkrit menentukan perwakilan sebenar program dengan bantuan simbol leksikal seperti abjadnya.
- Sintaks abstrak hanya menyampaikan maklumat penting program.
Jenis tatabahasa
- Tatabahasa bebas konteks digunakan secara lazim untuk mengetahui struktur keseluruhan bahasa.
- Ungkapan-ungkapan yang kerap menerangkan unit leksikal (token) bahasa pengaturcaraan.
- Tatabahasa atribut menentukan bahagian sensitif konteks bahasa.
Definisi Semantik
Istilah semantik dalam bahasa pengaturcaraan digunakan untuk mengetahui perhubungan antara sintaks dan model perhitungan. Ia menekankan tafsiran sesuatu program supaya programmer dapat memahaminya dengan mudah atau meramalkan hasil pelaksanaan program. Satu pendekatan yang dikenali sebagai semantik yang diarahkan sintaks digunakan untuk memetakan pembinaan sintaksis kepada model komputasi dengan bantuan fungsi.
Semantik bahasa pengaturcaraan boleh diterangkan dengan pelbagai teknik - Semantik algebra, Semantik Axiomatik, Semantik Operasi, Semantik Denotasi, dan semantik Terjemahan.
- Semantik algebra menafsirkan program dengan mendefinisikan aljabar.
- Semantik aksiomatik menentukan makna program dengan meneguhkan pernyataan mengenai persatuan yang menahan pada setiap titik dalam pelaksanaan program tersebut (iaitu tersirat).
- Semantik operasi mengira bahasa ke mesin abstrak, dan program tersebut kemudiannya dinilai sebagai urutan peralihan negeri.
- Semantik denotasi menyatakan maksud program dalam bentuk satu set fungsi yang beroperasi pada keadaan program.
- Semantik terjemahan memberi tumpuan kepada kaedah yang digunakan untuk menterjemahkan program ke bahasa yang lain.
Perbezaan Utama Antara Sintaks dan Semantik
- Sintaks merujuk kepada struktur program yang ditulis dalam bahasa pengaturcaraan. Sebaliknya, semantik menggambarkan hubungan antara rasa program dan model komputasi.
- Kesalahan sintaktik ditangani pada masa kompilasi. Sebaliknya, kesilapan semantik adalah sukar untuk mencari dan menemui semasa runtime.
- Sebagai contoh, dalam c ++ satu pembolehubah "s" diisytiharkan sebagai "int s;", untuk memulakannya, kita mesti menggunakan nilai integer. Daripada menggunakan integer, kami telah memulakannya dengan "Tujuh". Pengisytiharan dan inisialisasi ini betul-betul sintaks tetapi secara semantik tidak betul kerana "Tujuh" tidak mewakili bentuk integer.
Kesimpulannya
Sintaks bahasa pengaturcaraan adalah kumpulan peraturan untuk menentukan struktur atau bentuk kod sedangkan semantik merujuk kepada tafsiran kod atau makna yang berkaitan simbol, aksara atau mana-mana bahagian program.
