زبان‌های صوری

زبان‌های تعریف‌شده با قوانین ریاضی، که اساس نظری زبان‌های برنامه‌نویسی را تشکیل می‌دهند.