BIÇIMSEL DIL: ÖZELLIKLER VE ÖRNEKLER - EDEBIYAT - 2025

Biçimsel dil dilsel işaretler doğal dil uygun olmadığı durumlarda özel kullanımı kümesidir. Genel olarak dil, doğal veya gayri resmi ve yapay olarak ikiye ayrılır. İlki, sıradan günlük durumlar için kullanılır. Bu arada yapay, günlük yaşamın kapsamı dışındaki belirli durumlarda kullanılır.

Bu şekilde biçimsel dil, yapay diller grubunun bir parçasıdır. Bu, özellikle biçimsel bilimlerde (eylem alanı fiziksel dünyanın değil, soyut dünyanın gerçeklikleri olanlarda) kullanılır. Bu bilimlerden bazıları mantık, matematik ve bilgisayar programlamayı içerir.

Bu anlamda, bu tür bir dil, doğal olmayan dil kodlarını kullanır (sıradan dünyadaki iletişim içinde uygulamaları yoktur). Biçimsel bilimler alanında biçimsel bir dil, bu bilimlerin her birine özgü yasalarla düzenlenebilen bir dizi semboller zinciridir.

Şimdi bu tür bir dil, alfabe olarak bir dizi sembol veya harf kullanır. Bundan "dil zincirleri" (kelimeler) oluşturulur. Bunlar, kurallara uygunlarsa, "iyi biçimlendirilmiş sözcükler" veya "iyi biçimlendirilmiş formüller" olarak kabul edilir.

karakteristikleri

Kısıtlanmış ortam

Biçimsel dil, diğer dillerden farklı çevresel koşullar altında veri alışverişini amaçlamaktadır. Örneğin, programlama dilinde son, insanlar ve bilgisayarlar arasındaki veya bilgisayarlı cihazlar arasındaki iletişimdir. İnsanlar arasındaki bir iletişim değil.

Bu nedenle, belirli bir amaç ile oluşturulmuş ve çok özel bağlamlar altında işlev görecek geçici bir dildir. Ayrıca, yaygın olarak kullanılmamaktadır. Aksine, kullanımı hem dilin amacını hem de özel bağlamını bilenlerle sınırlıdır.

Dilbilgisi kuralları a priori

Biçimsel dil, ona temel oluşturan a priori gramer kurallarının oluşturulmasından oluşur. Böylece, önce öğelerin kombinasyonunu (sözdizimi) yönetecek ilkeler dizisi tasarlanır ve ardından formüller oluşturulur.

Öte yandan biçimsel dilin gelişimi bilinçlidir. Bu, öğrenmeleri için sürekli çabanın gerekli olduğu anlamına gelir. Aynı şekilde, kullanımı bilimsel kullanım düzenlemeleri ve sözleşmelerinde uzmanlaşmaya yol açar.

Minimal anlamsal bileşen

Biçimsel dilde anlamsal bileşen minimumdur. Biçimsel dile ait belirli bir dizgenin kendi başına bir anlamı yoktur.

Sahip olabilecekleri anlamsal yük, kısmen operatörler ve ilişkilerden kaynaklanır. Bunlardan bazıları şunlardır: eşitlik, eşitsizlik, mantıksal bağlaçlar ve aritmetik operatörler.

Doğal dilde, "papa" kelimesindeki "p" ve "a" kombinasyonunun tekrarı, ebeveynin anlamsal değerine sahiptir. Ancak resmi dilde öyle değildir. Pratik alanda, zincirlerin anlamı veya yorumlanması, bu biçimsel dil aracılığıyla tanımlanmaya çalışılan teoride yatar.

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

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

Sembolik dil

Biçimsel dil tamamen semboliktir. Bu, görevi aralarındaki ilişkiyi iletmek olan unsurlardan yapılır. Bu unsurlar, belirtildiği gibi, kendi başlarına herhangi bir anlamsal değer üretmeyen resmi dilsel işaretlerdir.

Biçimsel dil sembolojisinin inşa edilme biçimi, gerçeklere değil, onların ilişkilerine bağlı olarak hesaplamalara ve doğruların belirlenmesine izin verir. Bu sembolizm benzersizdir ve maddi dünyadaki herhangi bir somut durumdan uzaktır.

genellik

Biçimsel dilin evrensel bir karakteri vardır. Öznelliğiyle motive edilen, yorumlara ve çoklu lehçelere izin veren doğal olanın aksine, biçimsel olan değişmezdir.

Aslında, farklı topluluk türleri için benzerdir. Onun açıklamaları, konuştukları dil ne olursa olsun tüm bilim adamları için aynı anlama sahiptir.

Hassasiyet ve ifade gücü

Genel olarak, biçimsel dil kesindir ve çok ifade edici değildir. Oluşum kuralları, konuşmacılarının yeni terimler ortaya koymasını veya mevcut terimlere yeni anlamlar vermesini engelliyor. Ve inançları, ruh hallerini ve psikolojik durumları aktarmak için kullanılamaz.

Genişletme

Biçimsel dil için başvuruların keşfinde ilerleme kaydedildikçe, gelişimi üstel olmuştur. İçeriğini (anlamlarını) düşünmeden mekanik olarak çalıştırılabilmesi, sembollerinin ve operatörlerinin serbest kombinasyonuna izin verir.

Teorik olarak, genişlemenin kapsamı sonsuzdur. Örneğin, bilgi işlem ve bilişim alanındaki son araştırmalar, pratik amaçlar için her iki dili (doğal ve resmi) ilişkilendirir.

Özellikle, bilim insanı grupları, aralarındaki denkliği iyileştirmenin yolları üzerinde çalışır. Sonuçta aranan şey, doğal dil üretmek için biçimsel dili kullanabilen bir zeka yaratmaktır.

Örnekler

Mantık

Dizede: (p⋀q) ⋁ (r⋀t) => t, p, q, r, t harfleri somut bir anlamı olmayan önermeleri sembolize eder. Öte yandan, ⋀, ⋁ ve => sembolleri önermeleri birbirine bağlayan bağlayıcıları temsil eder. Bu özel örnekte, kullanılan bağlayıcılar "ve" (⋀), "veya" (⋁), "sonra" (=>) şeklindedir.

Dizeye en yakın çeviri şudur: parantez içindeki ifadelerden herhangi biri doğru ya da değil, o zaman t doğrudur ya da değildir. Bağlayıcılar, herhangi bir şeyi temsil edebilecek önermeler arasındaki ilişkileri kurmaktan sorumludur.

Matematik

Bu matematiksel örnekte A = ❴xx⦤3⋀x> 2❵, "x" adında elemanlara sahip "A" adlı bir küme müdahale eder. A'nın tüm öğeleri ❴, -, ⦤, ⋀,>, ❵ sembolojisiyle ilişkilidir.

Hepsi burada "x" elemanlarının yerine getirmesi gereken koşulları tanımlamak için kullanılır, böylece "A" kümesinden olabilirler.

Bu zincirin açıklaması, bu kümenin elemanlarının 3'ten küçük veya 3'e eşit ve aynı zamanda 2'den büyük olma koşulunu karşılayanlar olduğudur. Diğer bir deyişle, bu zincir 3 sayısını tanımlamaktadır, bu da tek elementtir. koşulları karşılar.

Bilgisayar Programlama

Programlama satırı IF A = ​​0, SONRA GOTO 30, 5 * A + 1, "koşulluysa" olarak bilinen bir operatör aracılığıyla inceleme ve karar verme sürecine tabi tutulan bir "A" değişkenine sahiptir.

"IF", "THEN" ve "GOTO" ifadeleri, operatör sözdiziminin bir parçasıdır. Bu arada, diğer unsurlar "A" nın karşılaştırma ve eylem değerleridir.

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

Referanslar

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