Biçimsel Dil Kuramı

Kısaca: Biçimsel dil kuramı, teorik bilişimin temel dallarından biridir. Bir biçimsel dil, ...devamı ☟

Biçimsel dil kuramı, teorik bilişimin temel dallarından biridir. Bir biçimsel dil, alfabe denilen belli bir küme Σ üzerinde kurulan katarlardan oluşur. Biçimsel dilleri tanımlamak için ifadeler, gramerler, ya da tanımlanan dile ait olan katarları kabul eden otomatlar kullanılır. Bunun yüzünden otomat kuramı ile ilişkisi çok önemlidir.

Biçimsel diller, Chomsky sınıflandırmasına göre 4 sınıfa ayırılır:
  • Tip 3 Düzenli diller
  • Tip 2 Bağlamdan bağımsız diller
  • Tip 1 Bağlama duyarlı diller
  • Tip 0 Özyinelemeli sayılabilir diller


Her sınıf, daha küçük sayılı sınıfların bir alt kümesidir. Tip 0 en genel sınıftır, Turing makina ve bilgisayar programıyla sayılanan her dilli kapsar.

Bu sınıflandırma (hiyerarşi), dillerin katarlarını türetten gramer ya da kabul eden makinaların hesaplama gücüne göre yapılmıştır.

Uygulama

Teorik bilişim bilimi bakımından önemli olan bu madde ``pratikte`` programlama dilleri kullanarak bilgisayar programları üretilmesini sağlayan derleyici ve yorumlayıcı yazılımlarının hazırlanmasında önemli bir rol oynar. ``Biçimsel dil kuramı``, sıfırdan bir programlama dili geliştirmek isteyen bir bilgisayar programcısının ilk öğrenmesi gereken konulardan biridir. Mesela alttaki Tip 2 grameri Java,C,C++ de kullanılan floating point sayılarından oluşan biçimsel dili tanımlar; bu dil 3.1415, ya da 1.40239846e-45f gibi sayıların yazılış şekillerini gösterir.

FloatingPointLiteral:
   Digits . [1] [2] [3]
   . Digits [4] [5]
   Digits ExponentPart [6]
   Digits [7] FloatTypeSuffix
Digits:
   Digit
   Digits Digit
Digit:
   0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 
ExponentPart:
   ExponentIndicator SignedInteger
ExponentIndicator: one of
   e E
SignedInteger:
   [8] Digits
Sign: one of
   + -
FloatTypeSuffix: one of
   f F d D


Kaynaklar

Vikipedi

Bu konuda henüz görüş yok.
Görüş/mesaj gerekli.
Markdown kullanılabilir.

Otomat teorisi
7 yıl önce

"Grekçe: αὐτόματα" kelimesi olup "kendi kendine hareket eden" demektir. Biçimsel dil kuramı ile yakından ilgilidir. Özdevinirler derleyici tasarımı ve ayrıştırmasında...

Bilişim
3 yıl önce

bölümlerinden bazıları bunlardır: Bilgisayar programcılığı Hesap kuramı Biçimsel dil kuramı ve Otomat kuramı Bilgisayar bilimine bazen bilgisayar mühendisliği denilir...

Bilişim, Bilişim
Düzenli ifade
7 yıl önce

programlama dillerinde kütüphaneler olarak mevcuttur. Ancak bunlar her biçimsel dili ayırmak için yeterli değildir, bkz. Biçimsel dil kuramı. Pek çok programlama...

Dil felsefesi
3 yıl önce

kuramını Alfred Tarski’nin gerçeklik kuramı olarak ortaya koymaya çalışır. Davidson’ın anlam kuramı aslında yorumlama kuramıdır. O da hocası Quine gibi anlaşma...

Dil felsefesi, Aristoteles, Aydınlanma Çağı, Bertrand Russell, Felsefe Portalı, John L. Austin, Ludwig Wittgenstein, Platon, Pythagoras, Willard van Orman Quine, Carnap
Anlambilim
3 yıl önce

söz konusu olmaktadır. Biçimsel semantik, aslında biçimsel mantık çerçevesinde biçimsel yapma dillerin semantiğidir. Bu biçimsel mantık semantiğin yanı...

Doğal Dil işleme
7 yıl önce

ögelerin türlerini tanımlamak ve özetle dil bilgisi kuralları denen biçimsel ögelerin sınıflandırmasını yapmaktır. Doğal dil işleme çalışmalarında anlam bütünsel...

Doğal dil işleme, 1859, 1970, 1973, Akciğer, Alfabe, Almanca, Analiz, Antropoloji, Bağlaç, Bilgisayar
Matematiksel mantık
3 yıl önce

konuları biçimsel sistemlerin ifade gücünün ve biçimsel ispat sistemlerinin tümdengelim gücünün belirlenmesidir. Matematiksel mantık kümeler kuramı, model...

Matematik, Felsefe, Fizik, mantık, Zeka, Problem
Dil
3 yıl önce

böylece dil kullanıcıları daha sık kullanılan bir anlam üretirler ve bu anlam, dil toplumu içerisinde zamanla yeniden öğrenilir. Biçimsel değişim genellikle...

Dil, Altay dil ailesi, Avrupa, Diller, Dil aileleri, Doğan Aksan, Esperanto, Ferdinand de Saussure, Fonoloji, Japonya, Kökenbilim