BAHASA FORMAL: KARAKTERISTIK DAN CONTOH - LITERATUR - 2025

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

Dengan cara ini, bahasa formal menjadi bagian dari kelompok yang artifisial. Ini digunakan, khususnya, dalam ilmu-ilmu formal (bidang tindakannya bukan realitas dunia fisik tetapi dunia abstrak). Beberapa ilmu tersebut antara lain logika, matematika, dan pemrograman komputer.

Dalam pengertian ini, jenis bahasa ini menggunakan kode-kode linguistik yang tidak alami (tidak memiliki aplikasi dalam komunikasi di dunia biasa). Dalam bidang ilmu-ilmu formal, bahasa formal merupakan sekumpulan rantai simbol yang dapat diatur dengan undang-undang yang khusus untuk masing-masing ilmu tersebut.

Sekarang jenis bahasa ini menggunakan sekumpulan simbol atau huruf sebagai alfabet. Dari sinilah "rantai bahasa" (kata-kata) dibentuk. Ini, jika sesuai dengan aturan, dianggap sebagai "kata yang dibentuk dengan baik" atau "rumus yang dibentuk dengan baik".

karakteristik

Lingkungan yang dibatasi

Bahasa formal bertujuan untuk bertukar data dalam kondisi lingkungan yang berbeda dengan bahasa lain. Misalnya dalam bahasa pemrograman, ujungnya adalah komunikasi antara manusia dan komputer atau antar perangkat komputerisasi. Ini bukan komunikasi antar manusia.

Jadi, ini adalah bahasa ad hoc, dibuat dengan tujuan tertentu dan berfungsi di bawah konteks yang sangat spesifik. Juga, tidak banyak digunakan. Sebaliknya, penggunaannya terbatas pada mereka yang mengetahui tujuan bahasa dan konteks khususnya.

Tata bahasa mengatur apriori

Bahasa formal terbentuk dari pembentukan kaidah-kaidah gramatikal apriori yang menjadi landasannya. Jadi, pertama-tama himpunan prinsip yang akan mengatur kombinasi elemen (sintaks) dirancang dan kemudian rumus dibuat.

Di sisi lain, perkembangan bahasa formal bersifat sadar. Artinya, diperlukan upaya berkelanjutan untuk pembelajaran mereka. Dalam nada yang sama, penggunaannya mengarah pada spesialisasi dalam peraturan dan konvensi penggunaan ilmiah.

Komponen semantik minimal

Komponen semantik dalam bahasa formal minimal. String tertentu yang termasuk dalam bahasa formal tidak memiliki arti dengan sendirinya.

Beban semantik yang mungkin mereka miliki sebagian berasal dari operator dan relasi. Beberapa di antaranya adalah: persamaan, ketidaksamaan, penghubung logika, dan operator aritmatika.

Dalam bahasa natural, pengulangan kombinasi "p" dan "a" pada kata "papa" memiliki nilai semantik induk. Namun, dalam bahasa formal tidak. Dalam bidang praktis, makna atau interpretasi dari rantai-rantai tersebut terletak pada teori yang coba didefinisikan melalui bahasa formal ini.

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

Kesimpulannya, arti dari rantai-rantai ini bergantung pada bidang ilmu pengetahuan formal tempat rantai tersebut diterapkan.

Bahasa simbolik

Bahasa formal benar-benar simbolis. Ini terbuat dari elemen yang misinya adalah untuk mentransmisikan hubungan di antara mereka. Elemen-elemen ini adalah tanda linguistik formal yang, seperti yang disebutkan, tidak menghasilkan nilai semantik sendiri.

Bentuk konstruksi simbologi bahasa formal memungkinkan perhitungan dan penetapan kebenaran tidak bergantung pada fakta tetapi pada hubungannya. Simbolisme ini unik dan jauh dari situasi konkret di dunia material.

Keuniversalan

Bahasa formal memiliki karakter universal. Berbeda dengan yang natural, yang dimotivasi oleh subjektivitasnya, memungkinkan interpretasi dan banyak dialek, yang formal tidak berubah-ubah.

Faktanya, ini serupa untuk berbagai jenis komunitas. Pernyataannya memiliki arti yang sama bagi semua ilmuwan terlepas dari bahasa yang mereka gunakan.

Presisi dan ekspresif

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

Dapat diperluas

Seiring kemajuan yang telah dicapai dalam penemuan aplikasi untuk bahasa formal, perkembangannya menjadi eksponensial. Fakta bahwa itu dapat dioperasikan secara mekanis tanpa memikirkan isinya (artinya) memungkinkan kombinasi bebas dari simbol dan operatornya.

Secara teori, ruang lingkup ekspansi tidak terbatas. Misalnya, penelitian terbaru di bidang komputasi dan informatika mengaitkan kedua bahasa (alami dan formal) untuk tujuan praktis.

Secara khusus, sekelompok ilmuwan mencari cara untuk meningkatkan kesetaraan di antara mereka. Pada akhirnya yang dicari adalah menciptakan kecerdasan yang dapat menggunakan bahasa formal untuk menghasilkan bahasa yang natural.

Contoh

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 "dan" (⋀), "atau" (⋁), "lalu" (=>).

Terjemahan terdekat ke string adalah: jika salah satu ekspresi dalam tanda kurung benar atau tidak, maka t benar atau tidak. Penghubung bertugas membangun hubungan antara proposisi yang dapat mewakili apapun.

Matematika

Dalam contoh matematika ini A = ❴xx⦤3⋀x> 2❵, sebuah himpunan dengan nama "A" yang memiliki elemen nama "x" ikut campur. Semua elemen A terkait dengan simbologi ❴, -, ⦤, ⋀,>, ❵.

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

Penjelasan dari rantai ini adalah bahwa elemen dari himpunan ini adalah semua yang memenuhi syarat kurang dari atau sama dengan 3 dan sekaligus lebih besar dari 2. Dengan kata lain, rantai ini mendefinisikan angka 3, yaitu satu-satunya elemen yang memenuhi syarat.

Pemrograman komputer

Baris pemrograman IF A = ​​0, THEN GOTO 30, 5 * A + 1 memiliki variabel “A” yang ditinjau dan proses pengambilan keputusan melalui operator yang dikenal sebagai “jika bersyarat”.

Ekspresi "IF", "THEN" dan "GOTO" adalah bagian dari sintaks operator. Sedangkan elemen lainnya adalah nilai perbandingan dan tindakan dari "A".

Artinya adalah: komputer diminta untuk mengevaluasi nilai "A" saat ini. Jika sama dengan nol, itu akan pergi ke "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 (+) padanya.

Referensi

1. Kamus Collins. (s / f). Definisi 'bahasa formal'. Diambil dari collinsdictionary.com.
2. Universitas Teknologi, Sydney. (s / f). Bahasa Formal dan Informal. Diambil dari uts.edu.au.
3. Definisi. (s / f). Definisi untuk bahasa formal. Diambil dari definitions.net.
4. Universitas Teknik Madrid. (s / f). Bahasa alami dan bahasa formal. Diambil dari lorien.die.upm.es.
5. Kotamadya Luján. (s / f). Bahasa formal. Diambil dari lujan.magnaplus.org.
6. Corbin, JA (s / f). 12 jenis bahasa (dan karakteristiknya). psychologiaymente.com.
7. Bel Enguix, G. dan Jiménez López, MD (s / f). Simposium: Aplikasi baru teori bahasa formal untuk linguistik. Diambil dari elvira.lllf.uam.es.