Definisi formal dari setiap bahasa secara umum dapat ditentukan melalui dua metode, yaitu: 1) melalui recognition dan 2) melalui generation. Sebagai contoh, misalkan L adalah suatu bahasa dengan aphabet Σ. Dengan metode recoginition diperlukan mekanisme atau recognizer R yaitu alat bantu yang memanfaatkan alpahabet Σ untuk dapat menentukan apakah suatu string atau statement termasuk dalam bahasa (himpunan) L. Dengan metode generation diperlukan alat bantu yaitu generator yang dapat digunakan untuk menghasilkan kalimat atau statements yang memenuhi ketentuan untuk bahasa tersebut.
Belajar Gratis Seputar Sistem Informasi, Informatika, Bisnis, Akuntansi, & Manajemen