Yüksek Bütünlüklü Derleme – Bir Vaka Çalışması (4) – Derleme Örneği – Adım Adım Derleme Tezi – Bilimsel Derleme Nasıl Yapılır? – Bilimsel Derleme Yaptırma – Bilimsel Derleme Yaptırma Ücretleri
Bir Dilin Örnekle Belirlenmesi
Bu açıklayıcı örnek hiçbir şekilde tamamlanmış değildir, açıklama yalnızca sonraki bölümlerde daha geniş kapsamlı spesifikasyonları ve önerileri motive etmek için bir derleyiciyi belirleme ve kanıtlama sürecine genel bir bakış sunmayı amaçlamaktadır. Kısacası, önemsiz bir örnek dil kullanarak, belirtimsel ifade programlama dili ile ilgili adımları açıklar.
Büyükçe bir programlama dilinin tanımsal semantik tanımı, alan teorisi olarak bilinen bir matematik dalının kullanılmasını gerektirir. Ancak, anlatılan basit diller için, etki alanları tarafından sağlanan ekstra yetenek ve sonuçta karmaşıklık gerekli değildir. Küme teorisi, özellikler için yeterli bir temel sağlar ve kavramsal olarak daha basit olduğu için kullanımı, sonraki tartışmalardan bazılarını açıklığa kavuşturur.
Bir gösterimsel anlambilim belirtimi yazmak için belirli bir gösterim kullanmak gerekir. Birçok programlama dili belirtimi, etki alanları için gösterimlerini biraz daha basit bir şekilde, daha basit kümelenmiş yaklaşımı kullanarak, iyi tanımlanmış biçimsel belirtim dili Z’nin belirtim gösterimi. Bölüm , programlama dili belirtimlerinin netliğini geliştirmeye yardımcı olan Z’nin sözdizimi ile alınan küçük bir özgürlüğü açıklamaktadır.
Not: Bu bölümde bazı sözdizimsel kategoriler sayısal alt simgelerle dekore edilmiştir. Bu süslemeler, öğretici tanımları birbirinden ve daha sonra Tosca ve Aida’nın “gerçek” tanımlarından ayırt etmek için tamamen teknik bir cihazdır; “başka bir önemi yoktur”.
Sözdizimi
Bir dili ifade etmenin ilk adımı, sözdiziminin bir belirtimidir Böyle bir ifade, dilde iyi biçimlendirilmiş “ ifadeler ” için kurallar verir. Kötü biçimlendirilmiş veya sözdizimsel olarak yanlış bir örnek İngilizce cümle Douglas Hofstadter’in örneğidir. Bu cümlede fiil yoktur.
Geleneksel olarak, bir programlama dilinin sözdizimi somut bir şekilde, iyi biçimlendirilmiş karakter dizileri olarak tanımlanır. Bir program metni, böyle bir dizeden oluşur ki, öncelikle bir dizi jeton (anahtar kelimeler) tanımlayıcılar halinde sözcüksel olarak analiz edilmelidir ve bu durumda bu simgeler bir ağaç yapısına veya soyut sözdizimine ayrıştırılmalıdır.
Bununla birlikte, sözcük oluşturma ve ayrıştırma problemler çözülmüştür – birçok klasik metinde uzun uzadıya tartışılmıştır ve bu nedenle burada tekrar ele alınmamıştır. Anlambilimin ifadesi, parantez, anahtar sözcükler ve işlem önceliği kuralları gibi belirsizliği giderme mekanizmalarıyla dağınık hale gelebilecek dizgelerin somut terimlerinden, doğrudan soyut sözdizimi açısından verildiğinde daha açıktır. Bu tür kaygıların ayrılması, somut sözdiziminin soyut sözdizimini, anlambilim tanımlarını veya doğruluk kanıtlarını değiştirmeye gerek kalmadan değiştirilmesine de izin verir.
Bu CMD adı verilen bir işlevi belirtir. İşlevlerin de bir Z aksiyomatik tanım kullanılarak belirtildiğini varsayar. Yatay çizginin üstündeki kısım, fonksiyonun imzasını bildirir. CMD, sözdizimsel kategorisinin elemanlarını CMD dizgileriyle eşler. Çizginin altındaki kısımlar, dilin yapısı üzerinde yapısal tümevarım yoluyla fonksiyonun tanımını sağlar. sözdizimi. Soyut sözdiziminde her tür komut için bir terim vardır ve tanım, belirli bir komutun alt bileşenlerinin çevirisi açısından özyinelemelidir. Inx. operatörü seq. dizileri birleştirmek için Z’nin birleştirme operatörüdür.
Ayrıca, somut sözdiziminin daha kapsamlı bir tanımı, soyut sözdiziminden simge dizilerine bir eşlemenin tanımlanması – simgeleri temsil etmek için kullanılan karakter dizilerinin tanımlanması ve belirteçlerin nasıl olabileceğinin belirlenmesi aşamalarına ayrılacaktır. boşluklar, sekmeler ve satırsonları ve yorum dizeleri ile ayrılır. Burada verilen daha basit işlem, örnek Tosca programları yazmak için somut bir sözdizimi tanımlama amacım için yeterlidir.
Anlambilim
Turandot’un sözdiziminde her yapının ‘anlamı’ gayri resmi olarak doğal dilde verilmiştir eğer varsa Bu büyük ölçüde bizim sezgisel anlayışımıza dayanır, örneğin bir ifadenin değerini tayin eder bir değişkene ihtiyacı vardır. Dil tasarımcısı-uygulayıcısı ve kullanıcı sezgisi farklıysa veya belirsizlik alanları farklı şekilde çözülürse sorunlar ortaya çıkabilir.
Ya ifade, bir değer atanmamış bir değişkene atıfta bulunuyorsa varsayılan bir değer varsayılmalı mı ve öyleyse hangi değerdir? Veya bu bir hata mı olmalıdır? Yazılı bir dilde Tosca gibi ancak Turandot’un aksine ifade ve değişkenin farklı bir türü varsa ne olur? İfade sessizce değişkeninkine “e tipinde” mi yapılır?
Matematiksel bir ifade sağlamaya yönelik ifade yaklaşımı, sözdizimsel yapıları “matematiksel değerler” ile ifade ettikleri şeylerle eşleştiren anlam işlevlerini tanımlamaktır. Sezgiye ve ortak anlayışa yönelik uygulamalar, bu biçimsel tanımların matematiksel manipülasyonları ile değiştirilebilir.
Farklı matematiksel model türleri, farklı programlama dilleri sınıfları için uygundur Açıklayıcı bir dildeki bir ifade, dünya hakkında bir gerçeği temsil eder örneğin kedi paspasın üzerindedir. Etkileyici bir dilde yapılan bir ifade diğer yandan, dünyanın durumunu değiştirebilir. Örneğin, bu gemiye Blaise Paskal adını veriyorum Etkileyici bir dil için uygun bir model düşünülen türden bir durumdur ve bir dizi durum geçiş işlevidir.
Anlamsal tanım, CMD’nin özyinelemeli yapısını izler. Vergisi atlama, kimlik fonksiyonu durumu değiştirmeden bırakır. Atama, durumun bir bileşeninin değerini değiştirir. Yeni durum, ilgili adı yeni değeri seçim, ifadenin değerine bağlı olarak iki komut arasında seçim yapar,. Value değerinin doğruyu göstermek için kullanıldığını unutmayın.
Oluşturma komutları, belirttikleri durum geçiş işlevlerini oluşturur. Anlambilimin matematiksel ifadesine eşlik eden paragraftaki kelimelerin sözdizimi spesifikasyonuna eşlik eden kelimelere çok benzediğine dikkat edin.Ama artık matematiksel bir anlamı vardır. Bu matematiksel anlam, gerekirse belirsizliğin kesinliğini keşfetmek için başvurulabilir ve karmaşık yapıların resmi olarak manipüle edilmiş anlamı olabilir.
Statik Anlambilim
Bir dildeki bazı cümleler sözdizimsel olarak doğru ama anlamsız olabilir.
Örneğin İngilizcede Chomsky’nin ünlü cümlesi “renksiz yeşil fikirler uyku hiddetli” bir şekilde sözdizimsel olarak iyi biçimlendirilmiştir.
Ama bu hiçbir şey ifade etmez, pek çok program dilinde x doğru gibi bir ifade sözdizimi kurallarına göre ayrıştırılabilir ama bir anlamı olmayabilir çünkü numaralar eklenemez. Gösterge yaklaşımında anlamsız yapılar için kurallar sağlanarak biçimlendirilebilir çeşitli statik anlamlar içerir.
Anlambilim Bir Dilin Örnekle Belirlenmesi Bu matematiksel anlam CMD adı verilen bir işlev Sözdizimi Statik Anlambilim Turandot'un sözdizimi Yüksek Bütünlüklü Derleme – Bir Vaka Çalışması (4) - Derleme Örneği – Adım Adım Derleme Tezi – Bilimsel Derleme Nasıl Yapılır? - Bilimsel Derleme Yaptırma – Bilimsel Derleme Yaptırma Ücretleri
Son yorumlar