Естественные языки - русский, английский, немецкий и т.д. Они универсальны.
Искусственные языки - оптимальны. Они создаются для оптимизации передачи информации.
Пример. Светофор: зеленый = "рельсовый транспорт имеет три направления движения: направо, налево и прямо с остановкой на следующем перекрестке и т.д.; нерельсовый имеет 4 направления движения и т.п.; пешеходы…" И так на каждом перекрестке J
Но мы должны знать значение данного знака. Бессмысленно требовать, чтобы естественный язык был формализован.
Азбука Морзе - вообще не язык.