Язык

Язык — знаковая система, соотносящая понятийное содержание и типовое звучание (написание).

Различают:

человеческие языки (предмет изучения лингвистики):

•естественные человеческие языки

•искусственные языки для общения людей (например, эсперанто)

•жестовые языки глухих

языки животных

формальные языки

•компьютерные языки (например, Алгол, SQL)

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