Понятия со словом «типизируемый»
Связанные понятия
Когере́нтность (от лат. cohaerens — «находящийся в связи») — в лингвистике целостность текста, заключающаяся в логико-семантической, грамматической и стилистической соотнесённости и взаимозависимости составляющих его элементов (слов, предложений и т. д.); одна из определяющих характеристик текста/дискурса и одно из необходимых условий текстуальности. Одно из основных понятий теории лингвистики текста. В российской лингвистике, помимо термина «когерентность», используются также термины «целостность...
Абстрактный семантический граф — это более высокий уровень абстракции, чем абстрактное синтаксическое дерево (АСД), которое используется для описания синтаксической структуры выражения или программы.
Коге́зия (лат. cohaesus — «связанный», «сцеплённый») — в лингвистике грамматическая и лексическая связность текста или предложения, которая соединяет их в единое целое и придает им смысл; одна из определяющих характеристик текста/дискурса и одно из необходимых условий текстуальности. Одно из основных понятий теории лингвистики текста. В современной лингвистике текста принимают во внимание текстообразующие потенции когезии в области формирования не только структурной, но и смысловой (содержательной...
Стати́ческая типиза́ция — приём, широко используемый в языках программирования, при котором переменная, параметр подпрограммы, возвращаемое значение функции связывается с типом в момент объявления и тип не может быть изменён позже (переменная или параметр будут принимать, а функция — возвращать значения только этого типа). Примеры статически типизированных языков — Ада, С++, C#, D, Java, ML, Паскаль, Nim.
Перцепти́вная фоне́тика (лат. perceptio — «восприятие») — раздел фонетики, рассматривающий восприятие звуков речи человеческими органами слуха. Отвечает на вопрос о том, какие звуковые свойства существенны для восприятия речи человеком (например, для опознания определённой фонемы) с учётом меняющихся акустических и артикуляционных характеристик речевых сигналов, то есть каковы перцептивные корреляты релевантных (существенных) признаков фонем и просодем.
Ме́тод синтакси́ческих шабло́нов — техника автоматического преобразования формализованных структур знаний, хранимых в базе данных, в тексты естественного языка, основана на концепции падежной грамматики Чарльза Филлмора.
Есте́ственный язы́к — в лингвистике и философии языка язык, используемый для общения людей (в отличие от формальных языков и других типов знаковых систем, также называемых языками в семиотике) и не созданный целенаправленно (в отличие от искусственных языков).
Интерпретатор (англ. Interpreter) — поведенческий шаблон проектирования, решающий часто встречающуюся, но подверженную изменениям, задачу. Также известен как Little (Small) Language...
Определяющий предикат представляет собой единство собственного предиката с выражением сущности предмета, фиксируемого родовым предикатом. Таким образом, определяющий предикат - это «комплексный» дефиниционный предикат, представленный в своём полном наборе признаков структурным компонентом (отношением тождества, включения и аддиции) и комплексным семантическим компонентом (родовой (классной) семантикой и семантикой дистинкции).
Сигнифика́т (от лат. significātum — значимое) — понятийное содержание имени или знака.
Зна́ковая систе́ма — система, состоящая из множества знаков и отношений между ними, основное понятие семиотики. Обеспечивают единообразное представление и интерпретацию сообщений или сигналов, которыми обмениваются в процессе общения. Таким образом знаковые системы структурируют процесс общения и придают ему предсказуемость.
Семанти́ческий ана́лиз — этап в последовательности действий алгоритма автоматического понимания текстов, заключающийся в выделении семантических отношений, формировании семантического представления текстов. Один из возможных вариантов представления семантического представления — структура, состоящая из «текстовых фактов». Семантический анализ в рамках одного предложения называется локальным семантическим анализом.
Сегмента́ция в лингвистике — линейное членение речевого потока на составляющие отрезки, называемые сегментами. Сегменты противопоставляются накладывающимся на них нелинейным суперсегментным (сверхсегментным) единицам языка...
Поверхностная структура (в теории трансформационных порождающих грамматик) — один из способов описания синтаксического устройства предложения.
Вариа́нтность (лат. varians, род. variantis — «изменяющийся») — в языкознании: фундаментальное свойство способа существования и функционирования единиц языка и языковой системы в целом. Характеризуется с помощью понятий варианта, инварианта, варьирования.
Абстра́ктный ме́тод (или чистый виртуальный метод (pure virtual method — часто неверно переводится как чИсто виртуальный метод)) — в объектно-ориентированном программировании, метод класса, реализация для которого отсутствует. Класс, содержащий абстрактные методы, также принято называть абстрактным (там же и пример). Абстрактные методы зачастую путают с виртуальными. Абстрактный метод подлежит определению в классах-наследниках, поэтому его можно отнести к виртуальным, но не каждый виртуальный метод...
Функционально-семантическое поле - термин функциональной грамматики; базирующаяся на определенной семантической категории группировка средств различных уровней языка, а также комбинированных языковых средств, взаимодействующих на основе общности их семантических функций. Данная единица обладает как планом выражения, так и планом содержания, то есть является двусторонним единством; имеет полевую структуру (имеет центр и периферию). Ядро функционально-семантического поля составляют единицы морфологического...
Синтаксическая диаграмма — это направленный граф с одним входным ребром и одним выходным ребром и помеченными вершинами. Синтаксическая диаграмма задаёт язык. Цепочка пометок при вершинах на любом пути от входного ребра к выходному — это цепочка языка, задаваемого синтаксической диаграммой. Поэтому можно считать, что синтаксическая диаграмма — это одна из форм порождающей грамматики автоматных языков. Синтаксические диаграммы и конечные автоматы имеют тесную связь: любой автоматный язык задаётся...
Парцелляция — конструкция экспрессивного синтаксиса, представляющая собой намеренное расчленение связного текста на несколько пунктуационно и интонационно самостоятельных отрезков (в терминологии швейцарского лингвиста Шарля Балли — дислокация), например: «Джинсы, твидовый пиджак и хорошая рубашка. Очень хорошая. Моя любимая! Белая. Обычная белая рубашка. Но любимая. Я надел её… и отправился встречать Макса» (Евгений Гришковец).
То́кен (англ. token) — объект, создающийся из лексемы в процессе лексического анализа («токенизации», от англ. tokenizing).
Семе́ма, или семанте́ма (от греч. σημαίνω — «обозначаю»; термин образован по аналогии с терминами фонема, морфема), — единица плана содержания языка, соотносимая с морфемой (минимальной единицей плана выражения) как совокупность компонентов её содержания (сем). Тем самым семема является минимальной единицей системы содержания, соотносимой с элементом системы выражения (семе это свойство не присуще).
Динами́ческая типиза́ция — приём, широко используемый в языках программирования и языках спецификации, при котором переменная связывается с типом в момент присваивания значения, а не в момент объявления переменной. Таким образом, в различных участках программы одна и та же переменная может принимать значения разных типов. Примеры языков с динамической типизацией — Smalltalk, Python, Objective-C, Ruby, PHP, Perl, JavaScript, Lisp, xBase, Erlang, Visual Basic.
У́ровни языка́ — основные ярусы языковой системы, её подсистемы, каждая из которых представлена «совокупностью относительно однородных единиц» и набором правил, которым подчиняются их использование и классификация. Единицы одного уровня языка способны вступать друг с другом в синтагматические и парадигматические отношения (к примеру, слова, соединяясь, образуют словосочетания и предложения), единицы разных уровней могут лишь входить одна в другую (так, фонемы составляют звуковые оболочки морфем...
Предика́т (лат. praedicatum «сказанное») в логике и лингвистике — сказуемое суждения, то, что высказывается (утверждается или отрицается) о субъекте. Предикат находится с субъектом в предикативном отношении и показывает наличие (отсутствие) у предмета некоторого признака.
Речево́й пото́к, пото́к ре́чи — непрерывная линейная последовательность звучаний, расчленяемая слушающим, воспринимающим её как организованную последовательность значимых единиц языка.
Дистрибути́вная сема́нтика — это область лингвистики, которая занимается вычислением степени семантической близости между лингвистическими единицами на основании их распределения (дистрибуции) в больших массивах лингвистических данных (текстовых корпусах).
Абстра́ктный тип да́нных (АТД) — это математическая модель для типов данных, где тип данных определяется поведением (семантикой) с точки зрения пользователя данных, а именно в терминах возможных значений, возможных операций над данными этого типа и поведения этих операций.
Референциальный выбор - выбор агентом коммуникации языкового выражения для упоминания объекта дискурса, референта. При этом говорящий может использовать как полные референциальные выражения (имена нарицательные, имена собственные, именные группы с модификаторами), так и редуцированные (главным образом анафорические местоимения). Обнаружение фактора, детерминирующего тот или иной референциальный выбор, имеет значимость для таких научных областей как лингвистика, когнитивистика, психология, информационные...
Пространственные данные (географические данные, геоданные) — данные о пространственных объектах и их наборах. Пространственные данные составляют основу информационного обеспечения геоинформационных систем.
Компоне́нтный ана́лиз — в языкознании: метод исследования плана содержания значимых единиц языка, целью которого является разложение значения на минимальные семантические составляющие. Основан на гипотезе о том, что значение всякой языковой единицы состоит из семантических компонентов (сем) и словарный состав языка может быть описан с помощью ограниченного (сравнительно небольшого) числа семантических признаков.
Функциональный объект (англ. function object), также функтор, функционал и функционоид — распространённая в программировании конструкция, позволяющая использовать объект как функцию. Часто используется как callback, делегат.
Семантическая роль имени при предикате — в языкознании: часть семантики предиката, отражающая общие свойства аргумента предиката — участника называемой предикатом ситуации. Описание в терминах семантических ролей отражает сходства моделей управления различных предикатных слов.
Элемента́рный то́пос — категория, в некотором смысле похожая на категорию множеств, основной предмет изучения теории топосов. Средствами элементарных топосов может быть описана аксиоматика как самой теории множеств, так и альтернативных теорий и логик, например, интуиционистская логика.
Полиморфизм в языках программирования и теории типов — способность функции обрабатывать данные разных типов.
Инкорпорация (позднелат. incorporatio — включение в свой состав, от лат. in — в и corpus — тело, единое целое) — объединение в одно морфологическое целое двух и более семантем, представляющих собой подвижные компоненты с обособленными лексическими значениями; количество и порядок этих компонентов каждый раз обусловлены содержанием высказывания, а отношения между ними соответствуют отношениям синтаксическим.
Корефере́нтность или референциональное тождество — отношение между именами — компонентами высказывания, в котором имена ссылаются на один и тот же объект (ситуацию) внеязыковой действительности (референт).
Сочета́емость — свойство языковых единиц сочетаться в речи при образовании единиц более высокого уровня, отражающее синтагматические отношения между ними. Сочетаемость является одним из фундаментальных свойств единиц языка.
В информатике
лексический анализ («токенизация», от англ. tokenizing) — процесс аналитического разбора входной последовательности символов на распознанные группы — лексемы, с целью получения на выходе идентифицированных последовательностей, называемых «токенами» (подобно группировке букв в словах). В простых случаях понятия «лексема» и «токен» идентичны, но более сложные токенизаторы дополнительно классифицируют лексемы по различным типам («идентификатор, оператор», «часть речи» и т. п.). Лексический...
Се́ма — дифференциальный семантический признак, компонент значения, который выявляется при сопоставлении значений разных слов. Является нечленимой составной частью лексического значения (семемы).
Тип данных (тип) — множество значений и операций на этих значениях (IEEE Std 1320.2-1998).
Мона́да — это абстракция линейной цепочки связанных вычислений. Монады позволяют организовывать последовательные вычисления.
Компилятор компиляторов — программа, воспринимающая синтаксическое или семантическое описание языка программирования и генерирующая компилятор для этого языка.
Архетип — это формальная модель понятия предметной области, являющаяся уточнением эталонной информационной модели, выраженным в виде ограничений, накладываемых на эталонную информационную модель, и представленным с помощью определенного формального аппарата в форме машиночитаемых и, одновременно, понятных человеку выражений.
Глубинная структура (в генеративной лингвистике) — способ представления предложения. Глубинная структура позволяет отразить смысловую близость ряда предложений, которые содержат одни и те же лексические единицы и отличаются друг от друга только некоторыми грамматическими значениями. Так, например, единая глубинная структура постулировалась для предложений «Бобры строят плотины» и «Плотины строятся бобрами». Глубинная структура формально изображается в виде так называемого дерева составляющих, либо...
Распознавание по компонентам - теория разработанная профессором когнитивной нейробиологии в Университете Южной Калифорнии Бидерманом (Biederman) , согласно которой распознавание объектов происходит посредством наблюдения граней объектов и декомпозиции (разложения) объектов на геоны. Комбинации ограниченного числа геонов могут формировать огромное разнообразие объектов. Геоны обладают свойством элементарности и инвариантности к точке наблюдения поэтому объекты распознаваемые посредством декомпозиции...
В грамматике,
параллелизм, также известный как параллельные структуры или параллельные конструкции, — это баланс в пределах одного или более предложений фраз или предложений, которые имеют одинаковую грамматическую структуру. Применение параллелизма улучшает стиль написания и читабельности, а также улучшает процесс создания предложений.Параллелизм достигается с помощью антитезы, анафоры, бессоюзия, климакса, эпифоры и симплоки.
Значе́ние (в семиотике) — объект, который обозначается, замещается, репрезентируется другим объектом — знаком; между двумя объектами, выступающими соответственно в роли знака и значения (названия), в процессе семиозиса устанавливается отношение обозначения.Значение — превосходное определение объекта, субъекта, отражающее всю его ценность и его характеристики.
Модальность (лат. modus — способ, вид) — способ, вид бытия или события; категории модальности: возможность, действительность, необходимость; модальный — обусловленный обстоятельствами; модальный анализ — исследование модальности; используется в логике, психологии, лингвистике, программировании, музыке и др.