İçindekiler:
Tanım - Anlamsal Anlambilim ne anlama geliyor?
Bilgisayar bilimlerinde, anlamsal anlambilim, sistemlere ve programlama dillerine matematiksel anlam sağlamak için bir yaklaşımdır. Başka bir deyişle, anlamsal anlambilim, bir programlama dilinin anlamsal tanımını ifade etmek için resmi bir tekniktir.
1960'larda Oxford Üniversitesi'nde Christopher Strachey'in Programlama Araştırma Grubu tarafından geliştirilen metodoloji, notasyonel zarafet ve matematiksel titizlik içeriyor. Başlangıçta bir analiz aracı olarak tasarlanmış olmasına rağmen, anlamsal anlambilim, uygulama ve dil tasarımı için bir araç olarak kullanılmıştır.
Techopedia, Anlamsal Anlambilimi açıklar
Anlamsal anlambilimde, temel fikir, bir programlama dili ile ilişkili her sözdizimsel varlığı bir çeşit matematiksel varlık biçimiyle eşleştirmek ve programlama dili yapılarını matematiksel nesnelere çevirmektir.
Anlamsal anlamsal tanımın beş bölümü vardır:
- Anlamsal denklemler
- Sözdizimsel kategoriler
- Anlamsal işlevler
- Sözdizimsel kategorilerin yapısını tanımlayan Backus normal form (BNF)
- Değer alanları
İstisnalar ve eşzamanlılık gibi özelliklere sahip modern diller için anlamsal anlambilim geliştirilmiştir. Anlamsal anlambilimin önemli özelliklerinden biri, anlambilimin bileşimsel olması gerektiğidir, yani bir programlama ifadesinin ifadesi, alt cümlelerinin ifadelerinden oluşturulabilir.
Anlamsal anlambilimle ilişkili bazı belirgin avantajlar vardır. Diğer programlara kıyasla daha küçük programların anlamını tanımlamak için en kolay mekanizmadır. Anlamsal anlambilim, programlardaki durumu açıklayabilir. Bununla birlikte, anlamsal anlambilim, goto ifadeleri ve özyinelemeler gibi gelişmiş özellikleri tanımlamak için çok karmaşık olma eğilimindedir.
