Metadil nedir:
Metadil dili tanımlamak, belirtmek veya analiz etmek için kullanılan dil.
Mantık ve dilbilimde metadil, nesneleri tanımlamak için kullanılan dilde anlamsal paradoksların oluşturduğu mantıksal sorunları analiz etmek ve yapılandırmak için kullanılır.
Üst dil, aynı zamanda, doğal bir dil sistemini veya analiz nesnesi olarak kabul edilen başka bir dili tanımlamak için özelleşmiş dil olarak da tanımlanır. Bu, özellikle "kelime" gibi yeni bir dil öğrenirken geçerlidir. dil İngilizce'de 'dil' anlamına gelir."
Üst dildeki ifadeler, her zaman bu şekilde ifade edilmese de, genellikle italik, tırnak işaretleri veya ayrı satır yazımı kullanılarak dil-nesneden ayırt edilir.
İngiliz yazar Bertrand Russell (1872-1970), diller hiyerarşisi teorisini iki düzeyde tanımladı:
- Dil-nesne düzeyi: “onlar insan” gibi nesnelere atıfta bulunmak için kullanılır.
- Üst dil veya üst dil seviyesi: bir önceki düzeyi tanımlamak için kullanılan dildir, örneğin “göçmenler insandır” ifadesinde, “göçmenler” üst dil düzeyinde bulunur.
Öte yandan Polonyalı yazar Alfred Tarski (1901-1983), “dil hakkındaki hakikati üstdil denilen farklı bir dilden konuşmak gerekir” diyerek üst dili anlamsal paradoksların çözümü olarak tanımlar.
Üst dilin bazı örnekleri, diğerleri arasında gramer dili, sözlükbilimsel dil, mantıksal dil, çocuk dili, teknik dil, bilgisayar dilidir.
Dilbilimde, dilde altı kullanım veya işlev ayırt edilir; bunlardan biri, dilin kendisinden bahsetmek için üst dili kullanan üst dilsel işlevdir. Örneğin: "Üst dil bir dildir."
Üst dilin özellikleri
Üst dil, sürdürdüğü mantıksal karmaşıklık nedeniyle mesajın daha iyi anlaşılmasına yardımcı olan belirli özelliklere sahiptir. Alfred Tarski, bir dilin üst dil olarak kabul edilmesi için bazı temel özellikleri tanımlar:
- Metadil, farklı bir dil kullanan bir dili tanımlar.
- Üst dil, cümlelerini ve sözdizimini tanımladığı için nesne dilinden daha zengin olmalıdır.
- Üst dil, kümeler teorisi ve ikili mantık içinde anlaşılır.
- Üstdil, nesne dilinin bir kopyası olmalıdır, böylece onunla söylenebilecek şey üst dil tarafından da ifade edilebilir.
Bilgisayarda metadil
Bilgisayar bilimindeki üst dil, program dizilerini tam olarak tanımlamak için kullanılır. 1950'de bilgisayar alanında, bilgisayar programlarının oluşturulmasında iki tür sorun vardı:
- Bir algoritmayı ifade edecek bir matematiksel dil tasarımının olmaması.
- Programları bilgisayar koduna çevirememe.
İlk problem bilgisayar program tasarımı disiplininin oluşturulmasıyla, ikinci soru ise program okuyan bir program olan üst dil olarak tanımlanan derleyicilerin üretilmesiyle çözüldü.
Bilgisayar derleyicileri programlama dillerine dayanır. En çok kullanılanlardan biri, John Backus ve Peter Naur tarafından oluşturulan ve Chomsky'nin TYPE2 model hiyerarşisi olarak da bilinen Noam Chomsky tarafından bağımsız olarak geliştirilen BNF'dir (Backus-Naur Formu).
Derleyiciler, kaynak koddaki çoğu hatayı tespit eden bir sözdizimsel analiz üretir ve bunu başka bir dilde (nesne kodu) eşdeğer bir programa çevirir.
