زبان الگوریتمی
algorithmic language
زبان متن‌آزاد
context-free language
زبان متن‌حساس
context-sensitive language
regular language
زبان صوری
formal language
زبان طبیعی
natural language
زبان پرس و جو
query language
ML language
زبان ام.ال.
زبان برنامه‌نویسی
programming language
زبان خصوصیات
specification language
language
زبان
سامانه بازنویسی
rewriting system
دستور زبان
grammar
معنی‌شناسی زبان برنامه‌نویسی
programming language semantics
زبان‌شناسی رایانشی
computational linguistics
Horn clauses
شرط هورن
منطق صوری
formal logic