Biçimsel dil özellikleri ve örnekler

resmi dil Doğal dilin uygun olmadığı durumlarda özel kullanım için bir dizi dilsel işarettir. Genel olarak, dil doğal veya gayrı resmi ve yapay olarak ayrılmıştır. İlki, günlük yaşamın ortak durumları için kullanılır. Bu arada suni, günlük yaşamın kapsamı dışındaki özel durumlarda kullanılır..

Bu yolla, biçimsel dil yapay grubun bir parçasıdır. Bu, özellikle biçimsel bilimlerde kullanılır (eylem alanı fiziksel dünyanın gerçekleri değil soyut dünya olanlardır). Bu bilimlerden bazıları mantık, matematik ve bilgisayar programlama içerir..

Bu anlamda, bu tür bir dil doğal olmayan dilsel kodları kullanır (sıradan dünyadaki iletişimler içinde uygulaması yoktur). Formal bilimler alanında, formal bir dil, bu bilimlerin her birine özgü yasalarla düzenlenebilecek sembol zincirleri kümesidir..

Şimdi, bu tür bir dil alfabe olarak bir dizi simge veya harfi kullanır. Bundan "dil zincirleri" (kelimeler) oluşur. Bunlar, kurallara uymaları halinde "iyi biçimli kelimeler" veya "iyi biçimli formüller" olarak kabul edilir..

indeks

• 1 özellikleri
  • 1.1 Sınırlı ortam
  • 1.2 Priori gramer kuralları
  • 1.3 Minimum anlamsal bileşen
  • 1.4 Sembolik dil
  • 1.5 Evrensellik
  • 1.6 Kesinlik ve ifade
  • 1.7 Genişleme kapasitesi
• 2 Örnekler
  • 2.1 Mantık
  • 2.2 Matematik
  • 2.3 Bilgisayar programlama
• 3 Kaynakça

özellikleri

Sınırlı ortam

Resmi dilin amacı, diğer dillerden farklı çevresel koşullar altında veri alışverişinde bulunmaktır. Örneğin, programlama dilinde, son insanlar ve bilgisayarlar arasındaki veya bilgisayarlı cihazlar arasındaki iletişimdir. İnsanlar arasında bir iletişim değil.

Bu nedenle, belirli bir amaç için yaratılmış ve çok özel bağlamlarda çalışacak özel bir dildir. Ayrıca, büyük bir şekilde kullanılmaz. Aksine, kullanımı hem dilin amacını hem de kendi bağlamını bilenlerle sınırlı..

Dilbilgisi a priori kuralları

Örgün dil, temeli oluşturan priori gramer kurallarının oluşturulmasından oluşur. Bu yüzden önce elementlerin birleşimini (sözdizimi) yönetecek ilkeler setini tasarlayıp sonra formülleri üreteceğiz..

Öte yandan, biçimsel dilin gelişimi bilinçlidir. Bu, öğrenmeleri için sürekli bir çabaya ihtiyaç duyulduğu anlamına gelir. Aynı fikir sırasına göre kullanımı, bilimsel kullanım düzenlemeleri ve sözleşmelerinde uzmanlaşmaya yol açar.

Minimum anlamsal bileşen

Biçimsel dilde anlamsal bileşen minimumdur. Resmi dile ait olan belirli bir zincirin kendi başına bir önemi yoktur..

Sahip oldukları anlamsal yük, kısmen operatörlerden ve ilişkilerden gelir. Bunlardan bazıları: eşitlik, eşitsizlik, mantıksal bağdaştırıcılar ve aritmetik operatörler.

Doğal dilde, "p" ve "a" kombinasyonunun "baba" kelimesinde tekrarlanması ebeveynin semantik değerine sahiptir. Ancak, resmi dilde değil. Pratik alanda, zincirlerin anlamı veya yorumlanması bu biçimsel dilde tanımlamaya çalışan teoride yer almaktadır..

Dolayısıyla lineer denklem sistemleri için kullanıldığında, anlamsal değerlerinden biri olarak matris teorisine sahiptir. Öte yandan, bu aynı sistem bilgisayardaki mantıksal devre tasarımlarının anlamsal yüküne sahiptir..

Sonuç olarak, bu zincirlerin anlamları, uygulandıkları resmi bilimlerin alanına bağlıdır..

Sembolik dil

Biçimsel dil tamamen semboliktir. Bu, görevi aralarındaki ilişkiyi iletmek olan unsurlardan oluşur. Bu unsurlar, bahsedildiği gibi, anlamsal bir değer üretmeyen resmi dilsel işaretlerdir..

Biçimsel dil sembolojisinin inşası, gerçeklere değil, ilişkilerine bağlı olarak hesaplamalar yapmamıza ve gerçekleri belirlememize izin verir. Bu semboloji benzersizdir ve maddi dünyadaki somut durumlardan uzak.  

genellik

Biçimsel dil evrensel bir karaktere sahiptir. Özneliğine motive olan doğal olanın aksine, yorumlara ve çoklu lehçelere izin veriyor, biçimsel olan değişmemiş görünüyor.

Aslında, farklı topluluk türleri için benzerdir. Yaklaşımları, konuştukları dilden bağımsız olarak tüm bilim adamları için aynı anlama sahiptir..

Hassasiyet ve ifade

Genel olarak, biçimsel dil kesindir ve çok anlamlı değildir. Oluşum kuralları, konuşmacılarının yeni terimler yazmasını veya mevcut terimlere yeni anlamlar vermesini önler. Ve, inanç, ruh hali ve psikolojik durumları iletmek için kullanılamaz.

Genişleme kapasitesi

Örgün dil için başvuruların keşfedilmesinde ilerleme kaydedildiği tedbirde, geliştirilmesi sürüldü. İçeriği (anlamları) düşünülmeden mekanik olarak çalıştırılabilir olması, sembollerinin ve operatörlerinin serbest kombinasyonunu sağlar.

Teoride, genişlemenin kapsamı sonsuzdur. Örneğin, hesaplama ve hesaplama alanındaki son araştırmalar, pratik amaçlar için her iki dili de (doğal ve resmi) ilişkilendirmektedir..

Özellikle, bilim insanları grupları aralarındaki denkliği arttırmanın yolları üzerinde çalışıyor. Sonunda, izlenen şey, doğal dili üretmek için biçimsel dili kullanabilecek bir zeka oluşturmaktır..

Örnekler

mantık

Dize: (p⋀q) ⋁ (r⋀t) => t, p, q, r, t harfleri, hiçbir somut anlamı olmayan önermeleri sembolize eder. Diğer yandan, ⋀, ⋁ ve => sembolleri, önerileri birleştiren bağlayıcıları temsil eder. Bu özel örnekte kullanılan bağlayıcılar "y" (⋀), "o" (⋁), "sonra" (=>) 'dır..

Dizeye en yakın çeviri şudur: parantez içindeki ifadelerden herhangi biri karşılanırsa veya karşılanmazsa, t karşılanır veya karşılanmaz. Konektörler, herhangi bir şeyi temsil edebilecek önermeler arasında ilişki kurmaktan sorumludur ...

matematiksel

Bu matematiksel örnekte A = ❴x | x⦤3⋀x> 2❵, "x" adında öğeler içeren "A" adında bir küme araya girer. A'nın tüm unsurları ❴, |, ⦤, ⋀,>, symbol simgesiyle ilgilidir..

Hepsi burada "x" elemanlarının "A" kümesinde olabilmesi için yerine getirmeleri gereken koşulları tanımlamak için kullanılır..

Bu zincirin açıklaması, bu kümenin elemanlarının, 3'e eşit veya daha küçük ve aynı zamanda 2'den büyük olma koşulunu yerine getirenlerin hepsi olduğudur. şartlara uygun.

Bilgisayar programlama

IF A = ​​0, THEN GOTO 30, 5 * A + 1 programlama satırı, "şartlı ise" olarak bilinen bir operatör aracılığıyla inceleme ve karar verme sürecine gönderilen "A" değişkenine sahiptir..

"IF", "THEN" ve "GOTO" ifadeleri operatör sözdiziminin bir parçasıdır. Bu arada, elementlerin geri kalanı "A" nın karşılaştırılması ve eylem değerleridir..

Bunun anlamı şudur: bilgisayardan "A" nın mevcut değerini değerlendirmesi istenir. Eğer sıfıra eşitse, "30" (başka bir komutun olacağı başka bir programlama satırı) olacaktır. Sıfırdan farklı olması durumunda, "A" değişkeni 5 değeri ile çarpılacaktır (*) ve 1 (+) değeri eklenecektir (+).

referanslar

1. Collins Sözlüğü. (s / f). 'Resmi dilin' tanımı. Collinsdictionary.com sitesinden alınmıştır..
2. Teknoloji Üniversitesi, Sidney. (s / f). Resmi ve Gayri Dil. Uts.edu.au'dan alınmıştır.
3. Tanımlar. (s / f). Resmi dilin tanımları. Definitions.net'ten alınmış.
4. Madrid Teknik Üniversitesi. (s / f). Doğal diller ve biçimsel diller. Lorien.die.upm.es sitesinden alınmıştır..
5. Lujan Belediyesi. (s / f). Resmi dil Lujan.magnaplus.org sitesinden alınmıştır..
6. Corbin, J.A. (s / f). 12 tür dil (ve özellikleri). psicologiaymente.com.
7. Bel Enguix, G. ve Jiménez López, M.D. (s / f). Sempozyum: Dilbilimde biçimsel diller teorisinin yeni uygulamaları. Elvira.lllf.uam.es sitesinden alınmıştır..