Что такое естественные языки,формальные языки?

Естественный (вербальный, звуковой) — обычный челове­ческий Естественными называются “обычные”, “разговорные” языки, которые складываются стихийно и в течение долгого времени. История каждого такого языка неотделима от истории народа, владеющего им. Естественный язык, предназначенный, прежде всего, для повседневного общения, имеет целый ряд своеобразных черт:·      почти все слова имеют не одно, а несколько значений;·      часто встречаются слова с неточным и неясным содержанием;·      значения отдельных слов и выражений зависят не только от них самих, но и от их окружения (контекста); ·      распространены синонимы (разное звучание - одинаковый смысл) и омонимы (одинаковое звучание - разный смысл);·      одни и те же предметы могут иметь несколько названий;·      есть слова, не обозначающие никаких предметов;·      многие соглашения относительно употребления слов не формулируются явно, а только предполагаются и для каждого правила есть исключения и т.д.Основными функциями естественного языка являются:·      коммуникативная (функция общения);·      когнитивная (познавательная функция);·      эмоциональная (функция формирования личности);·      директивная (функция воздействия). Искусственные языки создаются людьми для специальных целей либо для определенных групп людей: язык математики, морской семафор, язык программирования. Характерной особенностью искусственных языков является однозначная определенность их словаря, правил образования выражений и правил придания им значений. Любой язык –– и естественный и искусственный –– обладает набором определенных правил. Они могут быть явно и строго сформулированными (формализованными), а могут допускать различные варианты их использования.Формализованный (формальный) язык –– язык, характеризующийся точными правилами построения выражений и их понимания. Он строится в соответствии с четкими правилами, обеспечивая непротиворечивое, точное и компактное отображение свойств и отношений изучаемой предметной области (моделируемых объектов).язык.