Dalam dunia logika, matematika, ilmu komputer, dan linguistik, bahasa formal merupakan sekumpulan string yang simbol-simbolnya diambil dari suatu himpunan yang disebut sebagai alfabet. Alfabet ini terdiri dari berbagai simbol yang dapat digabungkan menjadi sebuah string atau yang biasa disebut sebagai kata.
Related Stories
Suka dengan Artikel Ini?
Dapatkan lebih banyak cerita menarik dengan berlangganan newsletter kami. Gratis!
Subscribe →Kata-kata yang termasuk dalam suatu bahasa formal tertentu sering kali dinamakan sebagai kata yang dibentuk dengan baik. Umumnya, sebuah bahasa formal didefinisikan melalui tata bahasa formal seperti tata bahasa reguler atau tata bahasa bebas konteks yang mengatur struktur sintaksisnya.
Bagi bidang ilmu komputer, bahasa formal dimanfaatkan secara luas sebagai fondasi untuk mendefinisikan tata bahasa dari bahasa pemrograman maupun bahasa natural terkontrol. Selain itu, teori bahasa formal secara khusus mempelajari aspek sintaksis murni dari bahasa-bahasa tersebut guna memahami pola struktur internalnya.
Sejarah perkembangan bahasa formal sendiri telah berakar sejak berabad-abad lalu melalui gagasan para ilmuwan besar. Mulai dari konsep characteristica universalis oleh Gottfried Leibniz pada abad ke-17 hingga perumusan hierarki Chomsky oleh Noam Chomsky pada abad ke-20 yang merevolusi pemahaman linguistik dan komputasi.
Meskipun bahasa formal berfokus sepenuhnya pada aspek sintaksis, penerapannya dapat diberikan semantik untuk memberikan arti pada elemen-elemen di dalamnya. Pemahaman ini sangat krusial dalam pengembangan kompiler perangkat lunak serta sistem logika matematika modern saat ini.