زبان الگوریتمی
algorithmic language
formal language
زبان صوری
زبان پرس و جو
query language
زبان‌شناسی رایانشی
computational linguistics
منطق صوری
formal logic
زبان بافت‌آزاد
context free language
زبان برنامه‌سازی رایانه
computer programming language
زبان بافت‌حساس
context sensitive language
زبان توصیفی سخت‌افزار رایانه
computer hardware description language