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