Языки формальные — множества конечных последовательностей символов, описываемые системами правил определенного вида, называемыми грамматикой, или синтаксисом языка. Формальные языки широко используются как языки общения человека с ЭВМ, так как наличие определяющей язык формальной грамматики облегчает автоматизированный анализ конструкций языка.
[Зотов В.В., Маслов Ю.Н., Пядочкин А.Е., Самойлов Л.К., Темников Ф.Е., Хорошилов В.О., Черпаков Б.И. Терминологический словарь по автоматике, информатике и вычислительной технике — Москва: Высшая школа, 1989 — с.191]