Her bir semantik öğenin en az bir sözdizimsel yorumlamaya bağlandığı ve diğeri her sözdizimsel gösterimin kendine özgü bir anlamı olduğunu garanti ettiği sözdizimi ve anlam bilimi arasında bazı ilişkiler vardır.
Karşılaştırma Tablosu
| Karşılaştırma için temel | Sözdizimi | semantik |
|---|---|---|
| Temel | Bir dilin izin verilen ifadeleri. | İfadelerin yorumlanması. |
| Hatalar | Derleme zamanında işlenir. | Çalışma zamanında karşı karşıya geldi. |
| ilişki | Sözdizimsel yorumlamanın kendine özgü bir anlamı olmalı. | Anlamsal bileşen, sözdizimsel bir temsil ile ilişkilendirilir. |
Sözdiziminin tanımı
Bir programlama dilinin sözdizimi, programların yapısını anlamlarını düşünmeden belirtmek için kullanılır. Temel olarak bir programın yapısını, düzenini görünüşleriyle vurgulamaktadır. Bir programda kullanılan sembollerin sırasını ve talimatı doğrulayan bir kurallar koleksiyonu içerir. Pragmatik ve hesaplama modeli, bir programlama dilinin sözdizimsel bileşenlerini şekillendirir. Programlama dillerinin sözdiziminin belirlenmesi için geliştirilen araçlar düzenli, bağlamsız ve nitelik gramerleridir.
Ancak, dilbilgisinin bu açıdan kullanımı nedir? Dilbilgileri genellikle amacı programları tanımak ve oluşturmak olan yeniden yazma kurallarıdır. Dilbilgisi, dilin yapısının tanımında kullanılan hesaplama modeline dayanmaz. Dilbilgisi sonlu gramer kategorileri (isim cümlesi, fiil cümlesi, makale, isim, vb.), Yalnız kelimelerin (harflerin elemanları) ve dilbilgisel kategorilerin hangi bileşenlerin içinde olacağını belirtmek için iyi oluşturulmuş kurallar içerir. Görünmelidir.
Sözdizimi analizi, programın uygun bir türetme ağacına sahip olup olmadığını inceleyen bir derleyici tarafından gerçekleştirilen bir görevdir.
Bir programlama dilinin sözdizimi, aşağıdaki resmi ve gayrı resmi teknikler kullanılarak yorumlanabilir:
- Tanımlayıcıları, değişmezleri, noktalayıcıları ve işleçleri içeren temel sembollerin kurallarını tanımlayan sözcüksel sözdizimi .
- Somut sözdizimi, programların alfabe gibi sözcüksel semboller yardımıyla gerçek temsilini belirler.
- Özet sözdizimi sadece hayati program bilgilerini aktarır.
Dilbilgisi çeşitleri
- Bağlamsız dilbilgisi yaygın olarak bütün dil yapısını ortaya çıkarmak için kullanılır.
- Düzenli ifadeler, bir programlama dilinin sözcük birimlerini (belirteçleri) tanımlar.
- Öznitelik gramerleri dilin içeriğine duyarlı bölümünü belirtir.
Anlambilimin Tanımı
Bir programlama dilinde anlamsal terim, sözdizimi ve hesaplama modeli arasındaki ilişkiyi bulmak için kullanılır. Bir programın yorumlanmasına vurgu yapar, böylece programcının programı kolay bir şekilde anlayabilmesi veya programın yürütülmesinin sonucunu tahmin edebilmesi. Sözdizimine yönelik anlambilim olarak bilinen bir yaklaşım, sözdizimsel yapıları bir fonksiyon yardımıyla hesaplama modeline eşlemek için kullanılır.
Programlama dili anlambilimi çeşitli tekniklerle tanımlanabilir - Cebirsel anlambilim, Aksiyomatik anlambilim, İşlemsel anlambilim, Terimsel anlambilim ve Çeviri anlambilimi.
- Cebirsel anlambilim, programı bir cebir tanımlayarak yorumlar.
- Aksiyomatik anlambilim, bir programın anlamını, programın yürütülmesinde her noktada tutulan bir dernek hakkında iddialar oluşturarak (yani dolaylı) belirler.
- İşlemsel anlambilim, dilleri soyut makineyle karşılaştırır ve program daha sonra durum geçişlerinin bir sırası olarak değerlendirilir.
- Anlamsal anlambilim, programın anlamını, program durumunda çalışan bir dizi fonksiyon biçiminde ifade eder.
- Çeviri anlambilimi, bir programı başka bir dile çevirmek için kullanılan yöntemlere odaklanır.
Sözdizimi ve Anlambilim Arasındaki Temel Farklılıklar
- Sözdizimi, bir programlama dilinde yazılmış bir programın yapısını ifade eder. Öte yandan, anlambilim, program anlayışı ile hesaplama modeli arasındaki ilişkiyi tanımlar.
- Sözdizimsel hatalar derleme zamanında ele alınır. Karşı gibi, anlamsal hataların bulması zordur ve çalışma zamanında karşılaşılır.
- Örneğin, c ++ 'da "s" değişkeni "int s;" olarak bildirilir, onu başlatmak için bir tamsayı değeri kullanmalıyız. Tamsayı kullanmak yerine “Yedi” ile başlattık. Bu bildirim ve başlatma, sözdizimsel olarak doğrudur, ancak anlamsal olarak yanlıştır, çünkü “Yedi” tamsayı biçimini göstermez.
Sonuç
Bir programlama dilinin sözdizimi, kodun yapısını veya biçimini belirleyen bir kurallar topluluğudur; anlambilim ise, kodun yorumlanmasını veya sembollerin, karakterlerin veya bir programın herhangi bir bölümünün ilgili anlamını ifade eder.
