Kami jelaskan apa itu bahasa formal, ciri-cirinya, contoh dan jenisnya. Juga, perbedaannya dengan bahasa alami.
Apa itu bahasa formal?
Di komputasi dan ilmu informasi, ketika kita mengacu pada bahasa formal sebagai lawan bahasa alami, kita mengacu pada sistem-sistem itu tanda-tanda diberkahi dengan simbol primitif dan sistem aturan penggunaan yang ditentukan secara formal, yaitu, diberkahi dengan a alfabet dan dari tata bahasa (atau sintaksis) resmi:
- Alfabet dipahami sebagai himpunan simbol primitif yang terbatas dan tidak kosong.
- Tata bahasa formal dipahami sebagai seperangkat aturan kombinasi terbatas dari alfabet tersebut untuk membentuk rantai terbatas dengan makna tertentu.
Dalam hal ini berbeda dari bahasa alami, muncul di sekitar kebutuhan manusia untuk berkomunikasi, di mana aturannya rumit dan ambigu, dan artinya tergantung pada interpretasi bahasa. tanda-tanda linguistik. Karena alasan ini, bahasa alami jauh lebih kompleks daripada pembacaan bahasa formal yang aturan mereka terbatas dan ditetapkan sebelumnya.
Bahasa formal penting bagi dunia matematika dan dari komputasi, karena mereka memungkinkan kita untuk membuat kode komunikasi antara manusia dan mesin, yaitu pemrograman. Kita tidak boleh mengacaukan bahasa formal dengan tingkat formal bahasa atau dengan bahasa formal, yang merupakan penggunaan bahasa verbal yang formal, sopan dan formal, sebagai lawan dari penggunaannya bahasa sehari-hari, acak-acakan dan tidak resmi.
Menurut ahli bahasa Amerika Noam Chomsky (1928-), bahasa formal dapat diklasifikasikan menjadi empat jenis:
- Tipe 3: bahasa reguler diberkahi dengan tata bahasa reguler, yaitu dengan sistem aturan yang dapat diperoleh dengan ekspresi reguler dan yang memungkinkan semua string simbol yang mungkin diperoleh.
- Tipe 2: bahasa non-kontekstual yang diberkahi dengan tata bahasa non-kontekstual, yaitu, memungkinkan untuk memperoleh semua string simbol yang mungkin, tetapi pada tingkat kerumitan yang jauh lebih tinggi daripada yang biasa.
- Tipe 1: bahasa kontekstual yang diberkahi dengan tata bahasa kontekstual, yaitu, yang memungkinkan memperoleh string simbol dependen, seperti yang ditunjukkan namanya, dari konteks.
- Tipe 0: bahasa bebas yang diberkahi dengan tata bahasa bebas, tanpa batasan, yang menghasilkan bahasa yang dapat dihitung secara rekursif.
Contoh bahasa formal
Contoh bahasa formal adalah:
- Itu bahasa pemrograman dengan yang perangkat lunak.
- Permainan catur yang bidaknya dibatasi dan gerakannya dijelaskan terlebih dahulu.
- Kode morse, yang disusun melalui tanda pendek dan panjang kata-kata kamu bilangan bulat.
- Memiliki logika simbolik merupakan bahasa formal.