Грамматика соединения

Соединительная грамматика — это описательная модель языка, разработанная в 1960-х годах Элдоном Г. Литлом (1936–2010) [14] .

Соединительная грамматика основана на предпосылке, что значение языка можно описать и точно систематизировать по способу соединения языковых элементов.

Модель использовалась в 1960-х и 1970-х годах в попытке создать функциональную компьютерную систему перевода. Он также использовался для лингвистического анализа в области преподавания языка.

Фон

Ранние порождающие грамматики рассматривали язык с синтаксической точки зрения, то есть как проблему, представленную задачей создания правил, способных объединять слова в правильно построенные (т. е. грамматические ) предложения. Правила, используемые в этих грамматиках, назывались правилами фразовой структуры (P-правила). Однако вскоре стало очевидно, что генеративный компонент, состоящий исключительно из P-правил, не может генерировать широкий спектр часто встречающихся типов предложений. В ответ на эту дилемму Харрис предложил объяснение:

Некоторые из решающих моментов в описательной лингвистике возникли из-за поиска составного анализа в типах предложений, где его не существует, поскольку предложения трансформационно выводятся друг из друга.

Модель синтаксиса Хомского — трансформационная грамматика — подхватила эту линию рассуждений и добавила дополнительный набор преобразований (Т-правил). Т-правила поэтапно осуществляли комбинации и перестановки слов, чтобы заполнить структурные пробелы там, где сами по себе P-правила не могли генерировать предложения, на которые Харрис указал как на проблемы. Считалось, что структурные формы, порожденные только P-правилами, составляют глубокую структуру . Затем поверхностная структура была получена трансформационным путем с помощью Т-правил из структур ядра , впервые созданных с помощью P-правил. Таким образом, Хомский предложил генерировать бесконечное количество предложений, используя конечные средства (замкнутые множества P-правил и T-правил). Модели этого года, основанные на синтаксисе, выделяют семантику и фонологию как лингвистические процессы, к которым следует подходить отдельно.

Появление соединительной грамматики

Введите со стороны при этих обстоятельствах грамматику соединения (JG), модель естественного языка, созданная Элдоном Литлом в конце 1960-х — начале 1970-х годов. Соединительная грамматика не предлагала поправку к модели синтаксиса Хомского, но претендовала на полное устранение необходимости преобразований посредством теоретических инноваций и нового дизайна порождающих грамматик. Инновации, лежащие в основе нового подхода, отвергли общепринятую опору на существующую математику и теорию формального языка как на инструменты лингвистического моделирования и описания «из уважения к интуиции более фундаментального структурирования в теле и в самом естественном языке», что, по-видимому, обеспечивало «универсальная база лингвистического описания» — не только для естественного языка, но и для синтетических систем записи, использовавшихся в то время для лингвистического описания. Реализация рассматриваемых новшеств повлекла за собой:

• Переработка генеративного компонента в смысловой шаблон. Это повлекло за собой отказ от всех функционально лишенных (и, следовательно, бессмысленных) ) конкатенации P-правил и замена их правилами соединения (J-правилами). J-правила впервые реализовали набор структурных отношений, имеющих универсальное синтаксически-семантическое значение, и были основаны на предположении, что естественный язык «имеет свою собственную математику». Действительно, позиция Дж.Г. заключалась в том, что рассуждения, выдвинутые Хомским и другими относительно того, способна ли та или иная ступень данной формальной языковой иерархии в принципе генерировать предложения естественного языка, в конечном счете, были замкнутыми, поскольку естественный язык был тем, что создало торговый центр. По сути, Литл считал, что естественный язык — это метаязык все формы синтетической записи (включая математику) , на котором супервентны .
• Дополнение базы биологически ориентированными трактами (иногда называемыми в ранней литературе JG уровнями представления ), специализирующимися на отдельных типах данных, необходимых для поддержки лексикализации, артикуляции, орфографии и т. д. Теория соединений явно запрещает смешивание различных типов данных в одно представление, отметив, например, что нельзя разумно ожидать, что речевой тракт будет использовать семантические данные, а тракт , выполняющий движения пишущей руки, не будет использовать какие-либо данные, управляющие мускулатурой речевого тракта.
• Реализация концепции Соссюра о означающего и означающего связях путем создания грамматик кодирования для переноса структурирования одного тракта в тип данных другого, как, например, транспонирование структурирования J-правила в лексические строки, необходимые для письма или артикуляции. Суть отхода от модели Хомского в данном случае заключалась в том, что кодирование между биологически обоснованными трактами вытеснило интерпретацию глубинной структуры в абстрактном виде.

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

Графика, изображающая модульные компоненты и их взаимодействие в грамматике соединения.

Преобразования и их представления заменены в JG.

Формат представления «право-лево» и «сверху вниз», объединявший все в одно большое дерево, был заменен ансамблем взаимодействующих представлений, в которых использовалось столько описаний, специфичных для данных, сколько необходимо для отражения функциональности разнообразных нейробиологических проявлений языкового поведения. разбираются. Поскольку целевое структурирование можно было генерировать непосредственно с помощью мощного базового компонента J-правила и его массива лингвистических операторов, структурно-ориентированные преобразования, необходимые для объединения предложений ядра или иного манипулирования составной структурой, больше не требовались. Преобразования, сформулированные для создания правильного порядка слов и иного массажа поверхностных строк, были вытеснены алгоритмами кодирования или грамматиками в модели JG. В общем сравнении, в то время как модель синтаксиса Хомского была по замыслу производной (говоря о ее корнях в существующих формах обозначений), деривационной и манипулятивной, модель JG была плодотворной (говоря о ее формальной новизне). модульные и транспозиционные. Однако, несмотря на полярные различия, «цель Хомского по созданию бесконечного числа предложений с конечными средствами осталась неизменной в JG, как и презумпция фундаментальной врожденности естественного языка у нормального говорящего/слушающего».

J-правила

Правила базисов/соединений (J-правила) соединительных грамматик представляют собой набор алгебраических формул, которые генерируют для естественного языка то, что похоже на Периодическую таблицу элементов в химии, а именно, перечисление правильно сформированных лингвистических структур. иногда называемый периодической диаграммой составляющих структур (PCCS). J-правила генерируют составные структуры, состоящие из помеченных операндов, входящих в них, плюс отношения, установленные операторами, и присваивают созданному составному элементу категорию, а именно: X ∘ Y ≐ Z. Сгенерированные таким образом составные элементы становятся потенциальными операндами для последующих операций. Результирующая алгебра может быть представлена ​​в виде строки (например, инфикс, постфикс, обратная полировка) или графически в виде диаграммы ветвления (J-дерево).

Операторы

Универсальными операторами, используемыми в этих правилах, являются подсоединение (*), соединение (&) и присоединение (+), а также подтипы, необходимые при определенных обстоятельствах, например, ограничительный (.*) и неограничительный (=*=) при подчинении. Выражаясь более привычными терминами, подчинительное соединение соединяет модификаторы и дополнения к их главам, соединение связывает составляющие однородной категории, которые в некотором отношении схожи, а присоединение присоединяет отношения и процессы к своим операндам для формирования предикатов, утверждений и реляционных фраз. Дополнительные операторы реализуют требования к управлению данными при мысленном моделировании и диалоговых настройках, что в значительной степени соответствует традиционной классификации дейксиса .

Операнды

Операнды базы взяты из словаря семем (значимых понятий), которые по определению нелексичны в JG и могут быть правдоподобно рассмотрены как электромагнитные сигнатуры в их нейробиологическом контексте. возникающие в связи с формированием психических моделей, обеспечивающих содержание и сенсорные связи их значений.

Кодирование грамматик

Хотя связь между означающим и означающим (по Соссюру) может быть отдельно представлена ​​в соединительной грамматике, взаимодействие между структурированием J-правил и кодированием, существующим в других компонентах модели, обеспечивается контекстно-зависимыми грамматиками кодирования, сформулированными как алгоритмы в соответствующий язык сопоставления с образцом . Например, JG включает грамматику лексического кодирования, состоящую из лексических правил (L-правил), которые кодируют неупорядоченную семемическую структуризацию в виде упорядоченных лексических строк в отдельном пространстве кодирования. Последующее кодирование обеспечивает либо четкое строение голосового контура, либо форматирование и пунктуацию печатного материала.

Природа JG-анализа

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

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

Общий эффект заключается в том, что, поскольку JG использует кодирование , а не вывод в качестве моста между уровнями представления, многое из того, чем были озабочены модели синтаксиса при выводе поверхностной структуры из глубокой структуры (перемещение, удаление, вставка и т. д.), берется в JG путем операций кодирования.

Раннее применение

Первая грамматика соединения была разработана Элдоном Литлом в связи с его докторской диссертацией. диссертацию в конце 1960-х годов, в котором он построил такую ​​грамматику для анализа структурной деривации в русском языке. Эта грамматика относила данные к четырем уровням представления, что соответствует:

• Уровень 1 – реального мира структурирование
• 2 уровень – синтаксо-семантическое структурирование, отражающее мыслительную деятельность.
• Уровень 3 – лексический код, транспонированный из уровня 2.
• Уровень 4 – артикуляционный/орфографический код, транспонированный с уровня 3.

Литл использовал один из операторов соединения (субъюнкцию) в качестве формального средства для наложения свойств управляющей категории на существующую структуру для получения производных форм (например, трансформация - Существительное * Глагол ).

Ранняя литература

Ранняя литература по JG была опубликована в журнале Junction Theory and Application университета , журнале Института переводческих наук BYU (TSI), а также в материалах Ежегодного лингвистического симпозиума . Более широко распространенные обзоры и анализ теории соединений впервые появились в виде монографии в серии «Janua Linguarum» Мутона . за которыми следуют статьи и исследовательские отчеты, представленные на материалах форума LACUS. и лингвистические конференции за рубежом.

Тем временем другие тестировали модель на применимость к естественным языкам, далеким от английского. В последних исследованиях анализ соединений применялся к конкретным языкам разных семей, включая финский, Самоанец, Корейский, японский, и русский. Со временем к этому списку добавились китайский, французский, немецкий, испанский, португальский. После этих исследований был сделан вывод, что J-правила, составляющие синтаксо-семантическую основу модели, предлагают набор структурных возможностей, из которых черпают все естественные языки, но ни один из них не обязательно использует их все или одно и то же подмножество.

Раннее применение НЛП

В начале 1970-х годов по настоянию и под эгидой Министерства обороны Литл и группа коллег провели в УБЯ исследование в области компьютерного интерактивного перевода, в котором грамматики узлов подвергались формализации. и применительно к проблеме англо-русского перевода. Когда положительные результаты подтвердили правильность концепции и прототип программного обеспечения, средства частного сектора были инвестированы в разработку и тестирование системы «один ко многим», основанной на той же модели перевода в расширенной форме - в частности, переводы были синтезированы из J-деревьев. английского языка, полученного в результате человеческого общения, на русский, испанский, французский, немецкий, португальский и китайский. Незадолго до своей инаугурации на посту президента Джеральд Форд и группа высокопоставленных лиц посетили объект разработки, чтобы получить брифинг о концепции и ходе работ.

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

Брифинг для президента Джеральда Форда о модели перевода «один ко многим» на основе JG. Элдон Дж. Литл слева.

Фонология соединения

Сторонники JG вскоре заметили, что структурные особенности присоединения, союза и сослагания выходят за рамки обычного лингвистического структурирования. Точнее, они подходят для таких разнообразных структурных сценариев, как супружеское взаимодействие, взаимодействие департаментов в учреждениях и множество других явлений реального мира. В ответ на это наблюдение Литл разработал метод фонологического представления, основанный на фонематических операндах и операторах соединения. Этот способ изображения впоследствии был положен в основу синтеза речевых контуров, отражающих структуру исходного текста.

Педагогика

JG оказался удобным для занятий в классе не только потому, что его базовые структуры были более интуитивными, всеобъемлющими и явными, чем традиционные формы диаграмм, но и потому, что их связь с явными формами языка была прямой. Студенты быстро поняли проблему, связанную со структурными предсказаниями PCCS, и взялись помочь в их проверке. Среди запоминающихся типов предложений, предложенных в классе, чтобы бросить вызов преподавателям и таблице, были:

• «Вылезай из-под земли».
• «Арбуз — это фрукт, который можно есть, пить и мыть им лицо и руки».
• «Она выпила больше молочного коктейля, чем я своего экзотического травяного чая».

Были проведены исследования, чтобы определить, полезно ли использование метода построения диаграмм JG в качестве отправной точки при преподавании и изучении иностранных языков. Олсон и Таттл обнаружили, что ответ был утвердительным.

Образовательное программное обеспечение

Получив опыт в области компьютерного перевода и синтеза речи, Литл предпринял разработку образовательного программного обеспечения на основе JG в частном секторе. Чтобы облегчить свои цели, он разработал так называемую нотацию разметки JG и создал язык сопоставления с образцом (JGPL), дополняющий ее. Это начинание опиралось на растущую мощь микрокомпьютеров для разработки приложений на базе JG, способных обеспечить конструктивную обратную связь студентам-писателям и их учителям в контексте письменной лаборатории. Кульминацией проекта стали успешные полевые испытания в одном из округов системы государственных школ. и, наконец, исследование, проведенное совместно со Службой образовательного тестирования (ETS) для оценки потенциала такого программного обеспечения для комплексной оценки письменных продуктов учащихся. Совместный вывод:

...компьютерный анализ поведения учащихся может обеспечить такой уровень детализации обратной связи с учениками, учителями и другими людьми, который невозможен при использовании только читателей-людей. Такая обратная связь имеет важное значение для обучения сочинению английского языка. Более того, компьютерный анализ может предоставить подробную обратную связь по многим письменным продуктам, даже по объему; Учитель английского языка обычно дает подробный отзыв только по нескольким кратким эссе.

В более поздних исследованиях Миллетт независимо продемонстрировал способность того же программного обеспечения на основе JG оценивать письмо студентов ESL смешанных национальностей. В связи с продемонстрированным потенциалом для оценки образования были предприняты попытки объявить JGPL и связанные с ней программные приложения - ансамбль программного обеспечения WordMap Write-Aids - «открытым исходным кодом», чтобы он мог служить расширяемым и адаптируемым общедоступным образовательным ресурсом. Это предложение в настоящее время находится «на рассмотрении». Между тем, чтобы проверить полезность оценки письма, связанной с JG, в интернет-среде, механизм анализа JGPL был предоставлен бесплатно для экспериментов в условиях онлайн-лаборатории письма. [15]

Пример J-дерева

J-дерево для «Студенты, которые стараются, получают хорошие оценки».

Это дерево было построено в рамках учебного курса, оснащенного экспериментальным программным обеспечением для компьютерного построения JG-диаграмм. Явное указание операторов соединения на волнистых линиях, соединяющих метки узлов. Это один из аспектов лингвистического описания JG, который отличает его от других моделей и от которого произошло его название. Можно использовать и обычные диаграммы ветвления, но в любом случае оператор соединения должен быть записан между узлами, выступающими его операндами. «Теория соединений утверждает, что лингвистические структуры, написанные без соединений, имеют не больше смысла/содержания, чем конкатенации алгебраических операндов, написанных без каких-либо указаний на операции, которые над ними нужно выполнить». Из-за своего алгебраического формата и использования невербальных форматоров базовое описание JG в последнее время получило название MindMath.

Обзор теоретических и практических моментов

• Как отмечалось ранее, соединительная грамматика не анализирует и не описывает естественный язык по отношению к формальным синтетическим языкам (как по отдельности, так и организованным в некоторой иерархии), а считает все они производными в том смысле, что они сами определяются по отношению к одному языку. естественный язык или другой. Соединительная грамматика истолковывает эту зависимость от естественного языка как означающую, что естественный язык сам по себе является метаязыком, на котором супервентны все формальные синтетические языки (включая все формы математики и языки компьютерного программирования). Из этого следует, что анализ метаязыка с помощью производных инструментов является циклическим и в конкретном случае может дать не больше, чем подмножество источника, которое он описывает. По этой причине соединительная грамматика утверждает, что «естественный язык имеет свою собственную математику». Обнаружить зачатки этой основополагающей математики и расширить ее было целью сторонников с момента ее создания.
• Теория соединения далее настаивает на том, что моделирование естественного языка должно осуществляться с учетом биологии организма, в котором проявляется язык. Грамматики, созданные таким образом, используют уровни репрезентации или участки , в которых происходят целевые транспозиции языка и отдельно кодируются в своих специфических типах данных - и поэтому должны быть описаны отдельно. Короче говоря, JG не допускает смешивания типов данных в одном представлении, за исключением случаев, когда оно используется для придания лексического значения корреспондентам в связанных трактах, т. е. для указания контекстной чувствительности между типами.
• «Теория соединения предполагает, что различные интерфейсы между трактатами и соответствующими им кодирующими грамматиками будут соответствовать лингвистическим исследованиям и разработкам, которые теперь объединены под разными названиями, и продемонстрируют полезность обращения с ними как с неотъемлемыми компонентами более крупной единой модели». Например, семемическим данным J-деревьев не хватает двусмысленности и неточности лексических строк, и поэтому они являются привлекательным кандидатом для использования в рациональных формах мысленного моделирования. Создание алгоритмов для кодирования этого типа данных в виде лексических строк заставляет аналитика столкнуться с тонкостями морфологии (например, словообразования) и логикой сходства и различия, связанной с принципами семиотики. В качестве дополнительной иллюстрации: тип данных, разработанный для лексического кодового пространства (тракта) модели JG на момент ее создания, легко служил входными данными для алгоритмов кодирования, необходимых для синтеза голоса (как описано выше). Общая перспектива, возникшая в этом случае, представляла собой путь от фонематического представления к фонетическому представлению и к компьютеризированной генерации волновых форм, имитирующих голос. Теория соединения доказывает полезность работы с точки зрения всеобъемлющей, унифицированной модели с взаимосвязанными компонентами - по крайней мере, в той степени, в которой большая картина становится в фокусе.

Перекрестное оплодотворение

Некоторые теоретики предположили, что было бы продуктивно объединить некоторые особенности грамматики соединений с другими моделями. Фактически Миллетт и Лонсдейл предложили расширить грамматику присоединения деревьев (TAG) для создания деревьев соединений.

Модель обновления JG

Заказы специфичности

При планировании систематического расширения модели языка JG в ее первоначальную компоновку были включены «шахты лифта» для возможного включения модулей для работы с такими явлениями, как ощущение, познание, ментальное моделирование и общение - все они считаются неотъемлемой частью. к действию языка в его естественной среде. Поскольку добавление модулей влечет за собой добавление типов данных и их словарей, в литературе упоминалось о таком будущем расширении как функции порядков специфичности, при этом каждый модуль или существенное уточнение правила восходит к более высокому порядку.

Язык, мысль и реальность

JG – посредством использования невербальных типов данных – негласно реализовала расширенное определение языка Уорфа с самого начала. А именно:

...Лингвистический порядок охватывает весь символизм, весь символический процесс, весь процесс референции и логики...

В тот момент, когда рассматривалась формальная разработка модуля для уровня 1 («реальный» мир), стало очевидно, что JG заканчивает модель, управляющую связью между разумом и выражением как вопрос связи между знакомыми и легко представимыми данными. типов (например, между семемическими данными мыслительного тракта и теми, которые необходимы для речевого тракта )... к модели, которая теперь должна также явно продемонстрировать связь между разумом и реальностью в общем виде среди множества типов данных, систематически записываемых на ум в самом «холодном и тоскливом» мире. Дело в том, что хотя уровень 1 занимал место в схеме с момента ее создания, за исключением синтеза голоса, никакого порядка специфичности, в JG еще не было реализовано который бы формализовал связь между семемическими данными и формами физическая реальность.

Графика, изображающая полную концептуальную модель языка Бенджамина Уорфа.

Наличие этой связи было просто вопросом наблюдения: например, каждый раз, когда инструкция давалась и выполнялась, структурирование, заданное инструкцией, реализовывалось на физическом носителе, к которому относились термины языка. То же самое относится и к отношениям между рецептами и пирожными, чертежами и домами, конституциями и правительствами и т. д. В каждом случае языковые отношения становились реальными, а референты, к которым они применялись, представляли самих себя - обстоятельство, на языке Дж. Г. называемое рефлексивным. символизм . Когда были изучены последствия этого сценария, стало очевидно, что возникающая модель обновления JG теперь вступила в прямой контакт с полной концептуальной моделью Бенджамина Уорфа, которая рассматривала структурирование в мире в целом как физическое языка расширение имеющегося в виду , пока писалось. и речь – для сравнения – были рациональными расширениями языка в сознании . Цитирую Уорфа:

Все, что я могу сказать по этой теме, которая может быть новой, — это предчувствие на языке неизвестного, более обширного мира — того мира, для которого физическое является лишь поверхностью или оболочкой, и тем не менее, в котором мы находимся и которому принадлежим. .. Речь — лучшее шоу, которое устраивает человек… Но мы подозреваем, что наблюдающие Боги понимают, что порядок, в котором его удивительный набор трюков достигает великой кульминации, был украден — из Вселенной!

В этом заключалось объяснение значимости фундаментальных составляющих отношений Дж.Г. к внешним отношениям и причина, по которой Литл смог представить артикуляционное структурирование с помощью соединительных операций. Действительно, существует лингвистическая связь между сознанием и реальностью… и, следовательно, теоретически, существует лингвистическое описание каждого структурированного явления. Это, возможно, предвещает окончательное восхождение лингвистической науки на уровень выдающегося положения, ранее предусмотренный только Уорфом.

Связь с реальностью

Чтобы формально реализовать рассматриваемую связь как особенность модели обновления JG, необходимо было добавить нотационную символику, способную описать природу кодирования, которое происходит на интерфейсе разум-реальность. С этой целью были введены символы для обозначения психических процессов, которые используются для создания инструкций и их применения, а также акта описания таких процессов. Для этого в инвентарь JG добавлены соответствующие операторы:

• рецепт (создание формулы)
• надпись (реализация формулы)
• описание (обсуждение)

Другая символика была включена для обозначения авторства ( Kx ), а также используемого языка ( Lx ) по отношению к языковому континууму (глобальной смеси идеологий, диалектов и языков), а также типов данных, действующих как носители должны быть структурированы в физическом домене ( Mx ).

Универсальность обозначений

Эти дополнения к обозначениям, когда они систематически организованы и дополнены другими соответствующими формальными приемами, позволяют лингвисту писать выражения для таких разнообразных действий, как мысленное моделирование, разговор, применение слов в действии и использование эмпирического метода для открытия. Поскольку система классических правил соединения может быть выведена непосредственно из новой, более всеобъемлющей символики, ясно, что рассматриваемые усовершенствования являются естественным расширением исходной модели.

Внешние ссылки

• Модель соединительной грамматики языка