Язык — знаковая система, соотносящая понятийное содержание и типовое звучание (написание). Различают: человеческие языки (предмет изучения лингвистики): •естественные человеческие языки •искусственные языки для общения людей (например, эсперанто) •жестовые языки глухих языки животных формальные языки •компьютерные языки (например, Алгол, SQL) В математической логике и информатике формальный язык — это множество конечных слов (строк, цепочек) над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов. В теории моделей язык соответствует не языку в информатике, а скорее алфавиту. Язык состоит из множеств символов, функций и отношений вместе с их арностью, а также множество переменных. Каждое из этих множеств может быть бесконечным. Из языка вместе с универсальными логическими символами составляются логические высказывания.
|