Biçimsel dillere Ne isnat edilebilir? Kullanım örnekleri

Ne resmi dili nedir ve nasıl doğal farklıdır? o nasıl kuruldu? biçimsel dillere Ne isnat edilebilir? Ve ona başvurmak için kullanılır?

biçimsel dillerin özellikleri

Bu yüzden bir grup çağrı yapay dil, hassas ifadelerin üretimiyle ilgili kurallarının yanı sıra anlayış ile karakterizedir. endüstriyel amaçlar için kullanılan sistemler biçimsel dillere atfedilebilir. Bunlar açık kurallara uygun olarak inşa edilir, özellikleri ve çalışılan ilişkileri, tutarlı kompakt ve hassas ekranı sağlayan konu alanı veya modellenmiştir nesneler. işaretlerinin değer ve anlam herhangi pragmatik özellikler (bağlam kullanılması) tarafından değiştirilemez. Bu sözdizimi dönüşüm ve semantik yorumlama kuralları resmi dilinde varlığı sayesinde mümkündür. Genellikle matematik temel olarak kullanılarak inşa edilir. Nedeniyle bu gelişmenin bütünü üzerinde, sembolik isimlerin çeşitli kullanılan gerçeğine kavram ve nesnelerin çeşitli uygulanmıştır. Yani biçimsel dilleri ihtiyacı var. Bunlar önemli ölçüde veri azaltabilir. Daha önce, biçimsel ve doğal dilleri ile birlikte kullanılmıştır, ancak konu ve matematiksel akıl yürütme sıkı mantıksal analiz yapmak gerek kademeli komplikasyonu ile, bu geçmiş terk etmeye karar verildi. Bu süreç XX yüzyıla XVII sürdü. Bu son yüzyılın biçimsel dillerin açısından en verimli olarak kabul edilir olduğunu. çeşitli özel dalları yaratıldı. Yani, bilgisayar bilimleri için özellikle önem programlama dilleri ve mantık cebir sadece teorik değil, aynı zamanda görüş pratik açıdan değil.

tanım

biçimsel dillere isnat edilebilir Ne, kısaca izah zaten var. Ama biz onlar hakkında ne söylenebilir ki? Biçimsel dil farklı tanımların bir sürü verilir. hepsini listelemek için, çok zaman bırakın, böylece en popüler bakmak olacaktır:

1. dildeki kelimelerin basit bir listesi - genellikle inşaatın son türüne ve basit bir yapıya sahip olanlar hakkında saygı ile bunu söyleyin.
2. Belli bir biçimsel dilbilgisi tarafından oluşturulan kelimeler.
3. Düzenli ifadeler yarattığı yapısı.
4. BPF-tasarım tarafından oluşturulan kelimeler.
5. sonlu otomatik mekanizma ile tanınabilir yapısı.

Bir örneğe bakalım. en biz bütün alfabeyi, "O" harfinin görüntülemek için iki sayı 1 ve 0. verilen var diyelim, biz 1010001. Bu bir kombinasyonu resmi dilinin kullanılmasıdır kullanırlar. Boş sözler kullanmak da mümkündür (string sıfır uzunluğa sahip olduğunda ve hiçbir şey yoktur) bize tanıdık şeklinde bir özel görevli. Ama daha detaylı olarak, resmi bir dildir anlamak sonraki verilecektir 4 örneklerini yardımcı olur. Ne işe yarar? Okuyucunun anlayışına resmi bir dil isnat edilebilir olmasıydı. Ama nasıl oluşturulduğunu hakkında biraz daha.

biçimsel dillerin İnşaat

Her dil bir kez ve birisi oluşturulan resmi bir yapıdır. Bunlar genellikle aynı desen üzerinde inşa edilir:

1. Başlamak için, alfabe veya yerleşik ve ifadeler dilinde kullanılacak belli bazı karakterler kümesi seçin. biçimsel dile göre bir bilgisayar kullanarak programlamak için herhangi bir yoldur.
2. Bu anlamlı cümleler inşa edecek, özellikleri ve kuralları sözdizimi açıklanmaktadır.
3. kelime ve ifadeler için belirli kurallara günü. İşte kural var: harflerin herhangi dizisi kelimeleri saymak gerekir.

resmi dili olarak açık kuralları vardır herhangi bir yapı anlamına - bu unutulmamalıdır. oluştururken, bazı özellikler vardır. Dolayısıyla, "karakter" anlam bakımından çok çok fonksiyonlu, yani çoğunlukla bir "harfi" olarak terimini kullandı. Ama bunların altında bizim için olağan gösterim, aynı zamanda parantez, özel karakterler ve daha sadece anlaşılabilir. Bu yalnızca biçimsel diller için geçerlidir.

Örnek 1

en fazla "terimi" ve kavramını kullanmak, bu tür durumlarda 1 ve 0'a ile başlayalım "formülü." İlk nesnenin bir analog ve özel bir şey ifade etmek için kullanılır isim olarak davranır. Her şeyden önce bunların altındaki sabitleri ve bireysel değişkenler anlıyoruz. Bunlardan da, bazı dil fonksiyonu kullanılan kullanılan daha karmaşık yapılar inşa. Grubun terimleri formüllerini anlamak altında, belli bir programlama dilinde kullanımı mümkündür. Bu "talimat" işlenecektir ve kişi istenilen sonucu alacak.

Örnek 2

bir ters çevirme (¬), bir fark var olan örnek mantık düşünün (∧), bağlaç (∨) ve ima (⇒) ve birçok diğerleri. Görüntülerin Böyle kayıtta olarak verilebilir:

1. A;
2. A∧V ⇒ ¬ â
3. ¬ (A∨¬S)

karakterler olarak A, B, C, değişkenleri yerine ve almak mantıklı işlemleri. Nerede bu tip biçimsel dilleri uygulamak için? Böyle bir mekanizmanın yaygın kullanımı programcı tarafından tarif edilmiş olan programlama dilleri, matematik, ilişkiler, mantıksal ve matematiksel fonksiyonlar veya parça bulunur.

Örnek 3

en daha karmaşık mantıksal formüller bakalım:

¬ (A∨¬S) ⇔ ¬A∧S = 1

Biz biçimsel dilleri ihtiyacımız var. kelimelerle tarif eğer ne olurdu düşünün? Şimdi, bir formüle dayanarak biz sonuca anlamak. Anlamlı ifadeler belirli kurallar öncesi oluşumunu, değişim ve yapıldıkları formülleri ve terimlerin "anlayış" saygı yalnızca biçimsel dilde elde edilebilir:

1. İnşaat vadeli formülleri ve;
2. semantik açıdan ve yorumlama Çalışması;
3. formüller ve başka terim birinin dizisi.

Her resmi dili de kurallar kümesi oluşturulmalıdır.

Örnek 4

Nedeniyle hüküm ve formüller için dil sözdizimi çıktı kurallarında varlığına izomorf dönüşüm modelleri yapılabilir. Bu nedenle yalnızca yansıma (temsilini) zaten var bilginin belirli bir vücuda yapılacaktır, ancak yeni bilgileri alabilir. Üstelik dönüşüm olsa da, açık ve sıkı kurallara göre gerçekleşecek, bu otomatik hale getirilebilir. Benzer teknikler kullanılmaktadır uzman sistemlerin, bilgi tabanları ve yazılım karar destek ürünleri.

Sonuç

Biçimsel diller yaygın özellikle sanatta, bilimde kullanılmaktadır. bilimsel araştırma ve pratik aktiviteler uygulanırken onlar ikincisi hatırı sayılır ifade yetenekleri göz önüne alındığında, doğal etkileşim kurabilir. Oysa biçimsel diller daha doğru bilgiyi iletmek ve insanlığın biriktirdiği bilgi objektif bir değişimini gerçekleştirmek üzere.