Внесу ещё немного ясности в терминологию. Сегодня о том, что такое формальный и естественный языки. Естественный язык - это язык, на котором говорят люди. Например, русский, английский, китайский и т.п. Естественные языки не были разработаны людьми, они развивались естественным путём (хотя позже люди придумали для них правила и даже пытаются их соблюдать). Формальный язык разрабатывается людьми для определённых целей. Например, язык математических символов - это формальный язык, который придуман для обозначения отношений между числами, для записи формул. Или язык нот, который придуман для записи музыки на бумагу...

Когда я училась в университете, одна моя знакомая говорила, что лингвистика очень похожа на математику. «Как можно их сравнивать?» – думала я. А потом все шире стали распространяться математические науки – информатика и программирование, которые действительно оказались очень близки лингвистике. У них там даже есть собственные языки – языки программирования. А с чего это они вдруг называются языками? Какое право они на это имеют? И вообще, когда, в какой стране появился этот термин – язык программирования?...