Bahasa formal: karakteristik dan contoh

Bahasa formal adalah seperangkat tanda-tanda linguistik yang digunakan secara eksklusif dalam situasi di mana bahasa alami tidak sesuai. Secara umum, bahasa dibagi menjadi alami atau informal dan buatan. Yang pertama digunakan untuk situasi umum kehidupan sehari-hari. Sementara itu, buatan digunakan dalam situasi tertentu di luar ruang lingkup kehidupan sehari-hari.

Dengan cara ini, bahasa formal adalah bagian dari kelompok artifisial. Ini digunakan, terutama dalam ilmu-ilmu formal (mereka yang bidang tindakannya bukan realitas dunia fisik tetapi dunia abstrak). Beberapa ilmu ini termasuk logika, matematika dan pemrograman komputer.

Dalam pengertian ini, jenis bahasa ini menggunakan kode linguistik yang tidak alami (mereka tidak memiliki aplikasi dalam komunikasi di dunia biasa). Di bidang sains formal, bahasa formal adalah sekumpulan rantai simbol yang dapat diatur oleh undang-undang yang spesifik untuk masing-masing ilmu ini.

Sekarang, jenis bahasa ini menggunakan seperangkat simbol atau huruf sebagai alfabet. Dari sini "rantai bahasa" (kata-kata) terbentuk. Ini, jika mereka mematuhi aturan, dianggap "kata-kata yang terbentuk dengan baik" atau "formula yang terbentuk dengan baik".

Fitur

Lingkungan terbatas

Tujuan dari bahasa formal adalah untuk bertukar data dalam kondisi lingkungan yang berbeda dari bahasa lain. Misalnya, dalam bahasa pemrograman, akhirnya adalah komunikasi antara manusia dan komputer atau antara perangkat yang terkomputerisasi. Ini bukan komunikasi antar manusia.

Jadi, ini adalah bahasa ad hoc, dibuat dengan tujuan khusus dan berfungsi dalam konteks yang sangat spesifik. Juga, itu tidak digunakan secara besar-besaran. Sebaliknya, penggunaannya terbatas pada mereka yang mengetahui tujuan bahasa dan konteks khususnya.

Tata bahasa mengatur apriori

Bahasa formal terbentuk dari penetapan aturan tata bahasa apriori yang memberikan dasar. Jadi, pertama-tama kita merancang serangkaian prinsip yang akan mengatur kombinasi elemen (sintaks) dan kemudian menghasilkan formula.

Di sisi lain, perkembangan bahasa formal disadari. Ini berarti bahwa upaya berkelanjutan diperlukan untuk pembelajaran mereka. Dalam urutan gagasan yang sama, penggunaannya mengarah ke spesialisasi dalam peraturan dan konvensi penggunaan ilmiah.

Komponen semantik minimum

Komponen semantik dalam bahasa formal minimal. Rantai tertentu milik bahasa formal tidak memiliki arti dengan sendirinya.

Beban semantik mereka mungkin sebagian berasal dari operator dan hubungan. Beberapa di antaranya adalah: kesetaraan, ketidaksetaraan, penghubung logis dan operator aritmatika.

Dalam bahasa alami, pengulangan kombinasi "p" dan "a" dalam kata "ayah" memiliki nilai semantik orangtua. Namun, dalam bahasa formal tidak. Dalam bidang praktis, makna atau interpretasi rantai berada dalam teori yang dicoba untuk didefinisikan melalui bahasa formal itu.

Jadi, ketika digunakan untuk sistem persamaan linear, ia memiliki teori matriks sebagai salah satu nilai semantiknya. Di sisi lain, sistem yang sama ini memiliki beban semantik desain rangkaian logis dalam komputasi.

Kesimpulannya, makna rantai ini tergantung pada bidang ilmu formal di mana mereka diterapkan.

Bahasa simbolik

Bahasa formal sepenuhnya simbolis. Ini dibuat dari elemen-elemen yang misinya adalah untuk menyampaikan hubungan di antara mereka. Elemen-elemen ini adalah tanda-tanda linguistik formal yang, sebagaimana disebutkan, tidak menghasilkan nilai semantik sendiri.

Bentuk konstruksi simbologi bahasa formal memungkinkan kita untuk membuat perhitungan dan menetapkan kebenaran tidak tergantung pada fakta tetapi pada hubungan mereka. Simbologi ini unik dan jauh dari situasi konkret di dunia material.

Universalitas

Bahasa formal memiliki karakter universal. Tidak seperti yang alami, yang termotivasi untuk subjektivitasnya memungkinkan interpretasi dan banyak dialek, yang formal tampak tidak berubah-ubah.

Bahkan, ini serupa untuk berbagai jenis komunitas. Pendekatan mereka memiliki arti yang sama untuk semua ilmuwan terlepas dari bahasa yang mereka gunakan.

Presisi dan ekspresif

Secara umum, bahasa formal tepat dan tidak terlalu ekspresif. Aturan pembentukannya mencegah penuturnya menciptakan istilah baru atau memberi makna baru pada istilah yang ada. Dan, itu tidak bisa digunakan untuk menyampaikan keyakinan, suasana hati dan situasi psikologis.

Kapasitas ekspansi

Dalam ukuran di mana kemajuan telah dibuat dalam penemuan aplikasi untuk bahasa formal, pengembangannya telah dilakukan secara eksponensial. Fakta bahwa ia dapat dioperasikan secara mekanis tanpa memikirkan isinya (artinya) memungkinkan kombinasi bebas dari simbol dan operatornya.

Secara teori, ruang lingkup ekspansi tidak terbatas. Sebagai contoh, investigasi terbaru di bidang komputasi dan komputasi menghubungkan kedua bahasa (alami dan formal) untuk tujuan praktis.

Secara khusus, kelompok ilmuwan bekerja pada cara untuk meningkatkan kesetaraan di antara mereka. Pada akhirnya, yang dicari adalah menciptakan kecerdasan yang bisa menggunakan bahasa formal untuk menghasilkan bahasa alami.

Contohnya

Logika

Dalam string: (p⋀q) ⋁ (r⋀t) => t, huruf p, q, r, t melambangkan proposisi tanpa makna konkret. Di sisi lain, simbol ⋀, ⋁, dan => mewakili konektor yang menghubungkan proposisi. Dalam contoh khusus ini, konektor yang digunakan adalah "y" (⋀), "o" (⋁), "lalu" (=>).

Terjemahan terdekat ke string adalah: jika ada ekspresi dalam tanda kurung yang terpenuhi atau tidak, maka t terpenuhi atau tidak terpenuhi. Konektor bertanggung jawab untuk membangun hubungan antara proposisi yang dapat mewakili apa pun.

Matematika

Dalam contoh matematis ini A = ❴x | x⦤3⋀x> 2❵, himpunan dengan nama "A" yang memiliki unsur-unsur nama "x" ikut campur. Semua elemen A dihubungkan oleh simbologi ❴, |, ⦤, ⋀, >, ❵.

Semuanya digunakan di sini untuk menentukan kondisi yang harus dipenuhi oleh elemen "x" sehingga mereka dapat dari set "A".

Penjelasan dari rantai ini adalah bahwa unsur-unsur himpunan ini adalah semua yang memenuhi kondisi kurang dari atau sama dengan 3 dan pada saat yang sama lebih besar dari 2. Dengan kata lain, rantai ini mendefinisikan angka 3 yang merupakan satu-satunya elemen memenuhi persyaratan.

Pemrograman komputer

Baris pemrograman JIKA A = 0, KEMUDIAN GOTO 30, 5 * A + 1 memiliki variabel "A" yang mengalami proses peninjauan dan pengambilan keputusan melalui operator yang dikenal sebagai "jika kondisional".

Ekspresi "IF", "THEN" dan "GOTO" adalah bagian dari sintaksis operator. Sementara itu, elemen lainnya adalah perbandingan dan nilai tindakan "A".

Artinya adalah: komputer diminta untuk mengevaluasi nilai "A" saat ini. Jika sama dengan nol, itu akan menjadi "30" (baris pemrograman lain di mana akan ada instruksi lain). Jika berbeda dari nol, maka variabel "A" akan dikalikan (*) dengan nilai 5 dan nilai 1 akan ditambahkan (+).