زبان سطح بالا
high level language
زبان الگوریتمی
algorithmic language
نظریه محاسبه
computation theory
زبان صوری
formal language
algorithm
الگوریتم
ALGOL (programming language)
الگول (زبان برنامه‌سازی)