زبان صوری
formal language
دستور زبان رایانه‌ای
computational grammar
زبان‌شناسی رایانشی
computational linguistics
زبان‌شناسی
linguistics
نظریه محاسبه
computation theory