Biçimsel dillerin ne olduğunu, özelliklerini, örneklerini ve türlerini açıklıyoruz. Ayrıca, doğal dillerle olan farklılıkları.
Resmi dil nedir?
İçinde bilgi işlem ve bilgi bilimi, doğal dillerin aksine resmi bir dile atıfta bulunduğumuzda, bu sistemlere atıfta bulunuruz. işaretler ilkel simgelerle ve biçimsel olarak belirlenmiş bir kullanım kuralları sistemiyle, yani bir alfabe ve bir dilbilgisi (veya sözdizimi) resmi:
- Alfabe, sonlu ve boş olmayan ilkel simgeler kümesi olarak anlaşılır.
- Biçimsel dilbilgisi, belirli bir anlama sahip sonlu zincirler oluşturmak için söz konusu alfabenin sonlu kombinasyon kuralları kümesi olarak anlaşılır.
Bu yönüyle, insan iletişim ihtiyacı etrafında ortaya çıkan, kuralların karmaşık ve belirsiz olduğu doğal dillerden farklıdır ve anlamı, dilin yorumlanmasına bağlıdır. dilsel işaretler. Bu nedenle, doğal diller, biçimsel bir dilin okunmasından sonsuz derecede daha karmaşıktır. tüzük onlar sonludur ve önceden kurulmuştur.
Resmi diller dünyası için önemlidir. matematik ve bilgi işlemyaratmamıza izin verdikleri için kodlar insanlarla makineler arasındaki iletişim, yani programlama. Biçimsel dilleri, dilin biçimsel düzeyiyle ya da biçimsel dil düzeyiyle karıştırmamalıyız. resmi dil, sözlü dilin kullanımının aksine biçimsel, kibar ve biçimsel kullanımıdır. konuşma dili, darmadağınık ve gayri resmi.
Amerikalı dilbilimci Noam Chomsky'ye (1928-) göre biçimsel diller dört türe ayrılabilir:
- Tip 3: Düzenli gramerlerle, yani düzenli ifadelerle elde edilebilen ve olası tüm sembol dizilerinin elde edilmesini sağlayan kural sistemleriyle donatılmış düzenli diller.
- Tip 2: Bağlamsal olmayan gramerlerle donatılmış bağlamsal olmayan diller, yani tüm olası sembol dizilerinin elde edilmesine izin verir, ancak normal olanlardan çok daha yüksek bir karmaşıklık düzeyinde.
- Tip 1: Bağlamsal gramerlerle donatılmış bağlamsal diller, yani adlarından da anlaşılacağı gibi, bağımlı sembol dizilerinin elde edilmesini sağlar. bağlam.
- 0 yazın: yinelemeli olarak numaralandırılabilir diller üreten, kısıtlama olmaksızın ücretsiz gramerlerle donatılmış özgür diller.
Resmi dil örnekleri
Resmi dillere örnekler:
- bu Programlama dilleri hangi ile yazılım.
- Taşları sınırlı ve hareketleri önceden açıklanan satranç oyunu.
- Kısa ve uzun işaretler aracılığıyla oluşan Mors kodu sözler Y tam sayılar.
- Sahip olmak mantık sembolik biçimsel bir dil oluşturur.