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