اللغات الرسمية

اللغات المعرفة بقواعد رياضية، وتشكل الأساس النظري للغات البرمجة.