Bu biçimsel diller bağlanabilir? Kullanım örnekleri

Tarihli:

2019-05-28 12:30:12

Görünümler:

676

Verim:

1İstemek 0Sevmeme

Pay:

Table of contents:

Nedir, resmi dil olduğunu ve farklı doğal? O nasıl kuruldu? Bu biçimsel diller bağlanabilir? Ve ne için kullanılır onu göstermek için mi?

Özellik resmi dil

resmi dil bağlanabilirOlarak adlandırılan bir grup yapay bir dil ile karakterize kesin kuralları ile ilgili ifadeler oluşturmak, hem de kendi anlayış. Resmi dil bağlanabilir sistemi için kullanılan uygulamalı amaçlar. Onlar inşa edilir ile uyum için net kurallar sağlar непротиворечивое, kompakt ve hassas görüntü, ilişkileri ve özellikleri incelenen bir konu alanı ya da simüle nesneleri. Değer ve anlam, kullanılan karakterlerin değil, değişebilir, herhangi bir pragmatik özellikleri (kullanım bağlamı). Bu varlığı resmi konuşuyor kuralları ayrıştırma, dönüştürme ve anlamsal yorumu. Sık sık onlar bir inşa olarak kullanıldığında bankası matematik. Aynı zamanda ona, tüm boşluğu gelişimi, kullanılan çeşitli sembolik gösterimler, uygulanmış olan çeşitli kavramlar ve nesneler. Bunun için gerekli resmi diller. Onlar önemli ölçüde azaltmak için veri. Daha önce birlikte resmi kullanılan ve doğal diller, ama kademeli bir konunun karmaşıklığı ve gerekliliği çok daha sıkı mantıksal analiz matematiksel yargılar terk etmeye karar verdi en son. Bu işlem ile yayılan XVII ve XX yüzyıl. Yani geçmiş bir yüzyıl olarak kabul edilir en verimli nokta gelişim resmi dil. Oluşturulan özel çeşitli dalları. Yani, bilgisayar bilimi için özel bir öneme sahip programlama dilleri ve cebir mantığı değil, sadece teorik, ama pratik bir bakış açısı.

Tanımı

resmi dil geçerlidirResmi dil dahil, biz zaten kısaca açıkladı. Ama ne kendileri? Biçimsel diller verilir çok farklı tanımları. Hepsini listelemek için, çok zaman alacak, bu yüzden aşina en popüler:

  1. Basit kelime listesi oluşturan bu dil – genellikle öyle diyorlar ile ilgili hedef ve yapı türü yanlısı olanlar, ne kolay basit bir yapıya sahip.
  2. Kelimeler tarafından oluşturulan belirli bir biçimsel dilbilgisi.
  3. Yapısı oluşturulan düzenli ifadeler.
  4. Kelimeler tarafından oluşturulan BPF-tasarımı.
  5. Yapısı, распознаваемая son bir makineli tüfek.

Hadi bir örneğe bakalım. Diyelim ki, elimizdeki tüm alfabe, belirtilen iki rakam vardır: 1 ve 0. Görüntülemek için bir harf «» kullanıyoruz arada 1010001. Bu uygulama resmi dil. Kullanılması da mümkündür boş kelimeler (zaman çubuğu sıfır uzunlukta ve içinde hiçbir şey yok) ile özel atama tanıdık için bizi şeklinde. Ama daha ayrıntılı olarak ne olduğunu anlamak için resmi dili, boyunca 4 örnek olacak bir daha da verilmiştir. Bu neden gerekli? Böylece okuyucu bir anlayış vardı ki, biçimsel diller bağlanabilir. Ama biraz daha nasıl oluşturulur.

Daha:

Sinir impuls, onu dönüştürme ve aktarım mekanizması

Sinir impuls, onu dönüştürme ve aktarım mekanizması

Sinir sistemi savunan bir tür koordinatörü vücudumuzda. O komutları iletir beyin мускулатуре, organlara, dokulara ve işler sinyalleri gidiyor onlara. Tür olarak veri taşıyıcı tarafından kullanılan bir sinir dürtü. Neyi temsil ettiğini? Hangi hızda ça...

Isıl işlem çelik

Isıl işlem çelik

Isıl işlem çelik yapılabilir çeşitli yolları vardır. Uzmanlar ayırt aşağıdaki seçenekleri sunar: 1. Ateş. 2. Normalleştirme. 3. Sertleşme olduğunu. 4. Tatil. Isıl işlem çelik kızartma temsil ısıtma ürün sıcaklık 840 900 derece. Sırasında belirtilen s...

Ana tür duyumlar: sınıflandırma, özellikleri

Ana tür duyumlar: sınıflandırma, özellikleri

Psikoloji – bu çalışmalar bilim farklı zihinsel süreçler, olaylar ve durum. Bu bilgilendirici zihinsel süreçleri içerir hissi, görünüm, algı, hayal gücü, konuşma, düşünme, ezberleme, dinleme, kaydetme, vb. bu makalede, biz daha duralım böyle bi...

Tasarım resmi dil

ne için gerekli resmi dillerHer biçimsel dil, bir tasarım oluşturulmuş bir zamanlar birisi. İnşa edilir, onlar genellikle aynı model:

  1. Başlangıç yaparken alfabesi veya herhangi bir topluluğu belirli karakter olan ve inşa edilecek ifadeler, kullanılan dil. Resmi dil geçerlidir herhangi bir şekilde programlama ile bilgisayar kullanarak.
  2. Sözdizimini Açıklar, özellikleri ve kuralları, hangi inşa edilecek anlamlı bir öneri.
  3. Belirli kurallara Göre çizilmiş kelimeler ve ifadeler. Burada genel bir kural vardır: herhangi bir harf dizisi olması için bir fırsat olarak kabul edilebilir bir kelime.

Resmi dil geçerlidir, herhangi bir tasarım, bir kesin kurallar vardır – bu hatırlamak gerekir. Oluştururken, bazı özel özellikleri vardır. Yani, bir kavram «sembol» çok fonksiyonlu açısından anlamsal yük, bu nedenle, kitle kendi kullanıyor, böyle bir terim olarak «harfi». Ama bunların altında olabilir değil, sadece anlamak için sıradan bizim için göstermek, ancak ve ayraçlar, özel karakterler ve daha fazlası. İçin de geçerlidir bu, sadece resmi dil.

Örnek 1:

Ile başlayalım 1 ve 0. Bu gibi durumlarda kullanmak için başka kavramlar «terme» ve «formül». İlk olarak davranır analog nesne adı ve belirtmek için kullanılan bir şey belirli. Öncelikle bunların altında sabitleri anlamak ve konu değişkenler. Bunlardan sırayla inşa edilir, daha karmaşık bir tasarım, ne için kullanılır uygulanan belli bir dilde bir özellik. Altında formülü anlamak grubu süresi, uygulanması, belirli bir programlama dili ile mümkündür. Bu «not» ele alınır ve kişi gerekli sonucu alırsınız.

Örnek 2

uygulandığı resmi dillerDüşünün bir örnek mantığı var olduğu ters (¬), ayrıksama(∧), bağlaç(∨) ve ima(⇒) ve diğer bir dizi. Olarak imaj yol açabilir gibi yazılabilir:

  1. ;
  2. A∧ ⇒ ¬
  3. ¬(A∨¬İle)

Olarak Bir karakter İle değiştirin değişkenler ve alacak mantıksal işlemler. Burada uygulanan resmi dil, bu tür bir?Yaygın kullanımı benzer bir mekanizma buldu konuşuyor, programlama, matematik, ilişki, mantıksal ve matematiksel özellikleri veya tek tek parçaları tarif edilmiştir kendisi programcı.

Örnek 3:

Bakalım daha karmaşık bir mantıksal bir formül:

¬(A∨¬İle) ⇔ ¬&&; = 1

İşte neden gerekli resmi diller. Düşünün ne olurdu, eğer bu insanlığı bir deyişle? Şimdi, çizim, formül, ev sahibi çıktı çıkarımlar. Anlamlı bir ifade elde edilebilir resmi dil sadece zaman saygı kuralları önceden belirlenmiş, eğitim, değişim ve «anlayış» formülleri ve süresi, hangi onlar yapılır:

  1. Yapı terme ve formüller;
  2. Çalışma anlamsal yönü ve yorumlanması;
  3. Sekme Sırası, bazı formüller ve terme, diğer.

Her resmi dil olmalıdır, iyi kurulmuş veri bütünlüğü kuralları.

Örnek 4:

Sayesinde, dili sözdizimi kuralları için çıkış süresi ve formülleri gerçekleştirebilirsiniz изоморфные dönüşüm modelleri. Bu yüzden sadece yapılacaktır yansıma (репрезентация) belirli bir popülasyon bilgi zaten var, ama aynı zamanda, belki de, yeni bilgi almak için. Ayrıca, dönüşüm olsa, oluşacak açık ve sıkı kurallara tamamen otomatik hale getirebilirsiniz. Benzer bir teknoloji uygulanır, uzman sistemler, veritabanları, bilgi ve yazılım ürünleri karar destek.

Sonuç

neden gerekli resmi dillerResmi diller bulduk geniş bir uygulama bilim, özellikle tekniği. Etkinlik sırasında, bilimsel araştırma veya uygulanmasında pratik faaliyetleri ile etkileşim doğal, çünkü önemli etkileyici yetenekleri son. Ama yine de resmi diller izin daha doğru bilgi aktarmak ve davranış objektif bir bilgi paylaşımı, birikmiş insanlık.


Article in other languages:

AR: https://tostpost.com/ar/education/17426-what-formal-languages-can-be-attributed-examples-of-usage.html

BE: https://tostpost.com/be/adukacyya/33566-shto-da-farmal-nyh-movah-mozhna-adnesc-pryklady-vykarystannya.html

DE: https://tostpost.com/de/bildung/33248-was-zu-den-formalen-sprachen-geh-ren-beispiele-f-r-die-verwendung.html

En: https://tostpost.com/education/28398-what-formal-languages-can-be-attributed-examples-of-usage.html

ES: https://tostpost.com/es/la-educaci-n/33120-de-que-a-la-formal-idiomas-se-puede-atribuir-ejemplos-de-uso.html

HI: https://tostpost.com/hi/education/19074-what-formal-languages-can-be-attributed-examples-of-usage.html

JA: https://tostpost.com/ja/education/17087-what-formal-languages-can-be-attributed-examples-of-usage.html

KK: https://tostpost.com/kk/b-l-m/33878-b-l-formaldy-t-lderd-zhat-yzu-a-bolady-paydalanu-lg-ler.html

PL: https://tostpost.com/pl/edukacja/34925-co-do-formalnych-j-zyk-w-mo-na-przypisa-przyk-ady-u-ycia.html

PT: https://tostpost.com/pt/educa-o/34729-que-ao-formal-de-l-nguas-pode-ser-atribu-do-exemplos-de-utiliza-o.html

UK: https://tostpost.com/uk/osv-ta/34089-scho-do-formal-nih-mov-mozhna-v-dnesti-prikladi-vikoristannya.html

ZH: https://tostpost.com/zh/education/15023-what-formal-languages-can-be-attributed-examples-of-usage.html






Alin Trodden - makalenin yazarı, editör
"Merhaba, ben Alin Trodden. Metin, kitap okumak, yazmak ve Gösterimler için bak. Ve sana söylüyorum.kötü değilim. İlginç projelere katılmaktan her zaman mutluluk duyarım."

Yorumlar (0)

Bu makalede Yorum yok, ilk olmak!

Yorum ekle

İlgili Haberler

Bilim nedir: tanım ve temel özellikler

Bilim nedir: tanım ve temel özellikler

bilim Nedir? Hayatı boyunca karşılaştığımız bu kavramı tekrar tekrar. Ancak, her kişi vermek mümkün olacak ve net bir cevap, bu soru için. Bilim, belirleyici değer, modern bir kültürü ve onun en dinamik bileşeni. Modern dünyada im...

Ne olur, bir kaybolur Ay? Ne gibi bir etkisi Dünya'ya Ay?

Ne olur, bir kaybolur Ay? Ne gibi bir etkisi Dünya'ya Ay?

hemen Hemen herkes en az bir kez hayatı için düşünüyordum, ne olacak, bir kaybolur Ay ve onun gibi davranır dünyevi hayat. Bilim adamları henüz kanıtlanmış ve yarısı ne halk kabul edilmemişti. Ama bazı anlarda, tüm yakınsama oybir...

Камергер - bu mahkeme sonrası

Камергер - bu mahkeme sonrası

Камергер – bu başlık mahkemesi yazı. Kelime заимствованием alman dili. Ne dir sorumlulukları bir adam vardı böyle chin? Hangi türetilmiş kelimeler var modern rusça?NedimКамергер – bu borçlanma. Çeviri rusça dili kelime...

Rasyonalizm Descartes

Rasyonalizm Descartes

Rasyonalizm (ratio) – yansıtan felsefi fikir, признающую düşünme (akıl) kaynağı olarak herhangi bir bilgi ve kriter, onun gerçeği. Popüler bu doktrin haline 17. yüzyılda. Temel felsefi inançları, gelenekleri tanıttı Rene Des...

Stephen Hawking: yaşamı ve faaliyetleri

Stephen Hawking: yaşamı ve faaliyetleri

Adı Stephen Hawking bugün bilinen hemen hemen herkes, ne olursa olsun приближенности sınıflar için matematik veya fizik. Bu önemli bir katkı geliştirilmesi, modern fizik ve kozmoloji, bilim adamı övmek yaygınlaşması, bilim, açıkla...

Ampirik düzeyde bilişsel bilim

Ampirik düzeyde bilişsel bilim

 Ampirik düzeyde biliş bilimde belli bir ölçüde karşılık duygusal aşamaları araştırma, teorik bir aynı – rasyonel ya da mantıksal. Kesinlikle, mutlak uygunluk bal onları yok. Bulundu ampirik düzeyde biliş değil sadece i...