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