Естественные языки - это те, на которых говорят люди в повседневной жизни. Они появились тогда, когда человек впервые открыл рот с членораздельной речью и попытался передать соплеменнику относительно информативное сообщение.
Соплеменник при этом понимал сказанное не только в зависимости от набора слов, но и контекста, мимики говорящего. В результате естественные языки не отличаются строгостью построения предложений, в них много синонимов и омонимов. Да и от того, что каждый человек вкладывает немного свой смысл в фразу, еще никто не умирал.
В отличие от естественных, формальные языки также созданы человеком и их тоже много. Они отличаются строгостью построения сообщений, отсутствием многозначности, ограниченным набором слов и языковых конструкций. Фраза на формальном языке всегда понимается однозначно.
К формальным языкам относятся языки различных наук, например, химии и математики, где используются правила записи химических реакций и формулы. В компьютерной науке формальными являются языки программирования.
Они есть способ описать алгоритм действий для формального исполнителя - вычислительной машины, которая не понимает смысла "сказанного", но может четко исполнять конкретные, однозначные инструкции.
Человеческое общество в процессе развития создавало и создает все больше формальных языков. В каждой профессии есть свои элементы формализма, свой набор однозначно понимаемых слов и фраз. Например, в юриспруденции, где официальные документы предполагают однозначность трактовки.
Поэтому можно предположить, что цивилизация движется от естественных языков к формальным.
