Формальные языки — это языки, созданные людьми искусственным образом для определённых целей. 1 Они отличаются строгостью интерпретации: одна и та же последовательность знаков предполагает один и тот же смысл в любом контексте. 1

От естественных языков формальные отличаются следующим:

• Сфера применения. 2 Естественные языки создаются стихийно, на них, как правило, разговаривают люди. 2 Формальные языки создаются под конкретные задачи в тех случаях, если простое использование письменной речи не возможно или трудоёмко. 2
• Правила. 3 В формальных языках правила носят явный характер, то есть отправитель и получатель всегда воспринимают информацию однозначно. 4 В естественных языках даже в строгих правилах есть исключения, а значения слов могут меняться с течением времени. 3

Примеры формальных языков: языки программирования, нотная запись, математические выражения. 1