Lugha Rasmi

Lugha zinazofafanuliwa na sheria za hisabati, zinazounda msingi wa kinadharia wa lugha za programu.