Формальный язык — множество строк, сформированных из алфавита по явным правилам синтаксиса. Формальные языки используются в логике, теории автоматов, проектировании языков программирования и компьютерной лингвистике.
A set of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules.