• Apakah bahasa formal?
• Contoh bahasa formal

Kami menerangkan apa itu bahasa formal, ciri, contoh dan jenisnya. Juga, perbezaannya dengan bahasa semula jadi.

Bahasa formal disusun oleh set peraturan gabungan yang terhad.

Apakah bahasa formal?

Dalam pengkomputeran dan sains maklumat, apabila kita merujuk kepada bahasa formal berbanding bahasa semula jadi, kita merujuk kepada sistem tersebut tanda-tanda dikurniakan simbol primitif dan sistem peraturan penggunaan yang ditentukan secara rasmi, iaitu, dikurniakan abjad dan daripada a tatabahasa (atau sintaks) rasmi:

• Abjad difahamkan sebagai set terhingga dan tidak kosong bagi simbol primitif.
• Tatabahasa formal difahamkan sebagai set terhingga peraturan gabungan abjad tersebut untuk membentuk rantai terhingga dengan makna tertentu.

Dalam hal ini ia berbeza daripada bahasa semula jadi, timbul di sekeliling keperluan manusia untuk berkomunikasi, di mana peraturannya kompleks dan samar-samar, dan maknanya bergantung pada tafsiran tanda linguistik. Atas sebab ini, bahasa semula jadi adalah jauh lebih kompleks daripada pembacaan bahasa formal yang peraturan mereka adalah terhad dan ditubuhkan terlebih dahulu.

Bahasa formal adalah penting kepada dunia matematik dan daripada pengkomputeran, kerana mereka membenarkan kami mencipta kod komunikasi antara manusia dan mesin, iaitu pengaturcaraan. Kita tidak seharusnya mengelirukan bahasa formal dengan tahap formal bahasa atau dengan bahasa formal, iaitu penggunaan bahasa lisan yang formal, sopan dan formal, berbanding penggunaannya bahasa sehari-hari, kusut masai dan tidak formal.

Menurut ahli bahasa Amerika Noam Chomsky (1928-), bahasa formal boleh diklasifikasikan kepada empat jenis:

• Jenis 3: bahasa biasa yang dikurniakan tatabahasa biasa, iaitu, dengan sistem peraturan yang boleh diperolehi dengan ungkapan biasa dan yang membolehkan semua rentetan simbol yang mungkin diperolehi.
• Jenis 2: bahasa bukan kontekstual yang dikurniakan tatabahasa bukan kontekstual, iaitu, mereka membenarkan mendapatkan semua rentetan simbol yang mungkin, tetapi pada tahap kerumitan yang lebih tinggi daripada yang biasa.
• Jenis 1: bahasa kontekstual yang dikurniakan tatabahasa kontekstual, iaitu, yang membolehkan mendapatkan rentetan simbol bergantung, seperti yang ditunjukkan oleh namanya, daripada konteks.
• Jenis 0: bahasa percuma yang dikurniakan tatabahasa percuma, tanpa sekatan, yang menghasilkan bahasa yang boleh dikira secara rekursif.

Contoh bahasa formal

Contoh bahasa formal ialah:

• The bahasa pengaturcaraan dengan yang perisian.
• Permainan catur, yang buahnya terhad dan pergerakannya diterangkan terlebih dahulu.
• Kod Morse, yang melalui tanda pendek dan panjang mengarang perkataan Y nombor integer.
• Milik logik simbolik membentuk bahasa formal.