Bahasa Formal

Bahasa yang didefinisikan oleh aturan matematika, membentuk dasar teoretis bahasa pemrograman.