Biçimsel dil: özellikler ve örnekler

Biçimsel dil, yalnızca doğal dilin uygun olmadığı durumlarda kullanılan bir dizi dilsel işarettir. Genel olarak, dil doğal veya gayrı resmi ve yapay olarak ayrılmıştır. Birincisi, günlük yaşamın ortak durumları için kullanılır. Bu arada suni, günlük yaşamın kapsamı dışında belirli 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şim içinde bir 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 bir alfabe olarak bir dizi sembol veya harf kullanır. Bundan "dil zincirleri" (kelimeler) oluşur. Bunlar, kurallara uymaları halinde "iyi biçimlendirilmiş kelimeler" veya "iyi biçimlendirilmiş formüller" olarak kabul edilir.

ö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ıdır.

Dilbilgisi a priori kuralları

Resmi dil, temeli oluşturan öncül gramer kurallarının oluşturulmasından oluşur. Bu yüzden, önce elementlerin birleşimini (sözdizimi) yönetecek ve sonra formülleri oluşturacak ilkeler setini tasarlarız.

Ö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 kendisi tarafından 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ğ ve aritmetik operatörleri.

Doğal dilde, “p” ve “a” kombinasyonunun “baba” kelimesinde tekrarı 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 yatmaktadı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, belirtildiğ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 çok uzaktır.

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şmez 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çları, ruh hallerini 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 eşitliği arttırmanın yolları üzerinde çalışıyor. Sonunda, aranan şey, doğal dili üretmek için biçimsel dili kullanabilen 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ındaki ilişkilerin kurulmasından 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" öğelerinin "A" kümesinde olabilmesi için yerine getirmesi gereken koşulları tanımlamak için kullanılır.

Bu zincirin açıklaması, bu kümenin öğelerinin, 3'e eşit veya daha küçük ve aynı zamanda 2'den büyük olma koşulunu yerine getirenlerin tümü olduğudur. Başka bir deyişle, bu zincir, tek element olan 3 sayısını tanımlar. şartları yerine getirir.

Bilgisayar programlama

IF A = ​​0, THEN GOTO 30, 5 * A + 1 programlama satırı, "şartlı" olarak bilinen bir operatör aracılığıyla inceleme ve karar alma işlemine tabi tutulan "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ılacak ve 1 değeri (+) eklenecektir.