Результаты поиска

...в частности, в работах по [[Семантика (программирование)|семантике языков программирования]]. ...

...радиции, обычно записывают как <math>A \to B</math> (в практических языках программирования — <code>A -> B</code>), или как <math>B^A</math>, подразумевая, что существ == Языки программирования == ...

{{Карточка языка программирования |semantics = [[Императивный язык программирования|императивный]], [[Объектно-ориентированное программирование|объектно-ориент ...

...ингвистика)|морфологии]], [[синтаксис]]е, [[Лексикология|лексикологии]], [[Семантика|семантике]]<ref name="ЛЭС"/>. ...слабляться и усиливаться: так, в большинстве [[Славянские языки|славянских языков]] нейтрализовалось противопоставление [[Двойственное число|двойственного]] ...

...с этим объектом, называется [[теория формальных языков|теорией формальных языков]]. ...язык. Этот способ, в основном, применим для определения конечных языков и языков простой структуры. ...

.... Монтегю — основатель модельно-теоретического подхода к [[лингвистическая семантика|семантике естественного языка]], часто называемого [[грамматика Монтегю|гра ...ачали поиск философски обоснованного формального анализа [[синтаксис]]а, [[семантика|семантики]] и [[прагматика|прагматики]] в рамках единой теории, охватывающе ...

...ин из ранних исследователей [[Теория языков программирования|теории языков программирования]]. Профессор римского университета «[[Римский университет Ла Сапиенца|Сапие ...deadlink = no }}</ref>. В 2001 году за достижения в области теории языков программирования награждён {{нп2|Премия Европейской ассоциации теоретической информатики|пре ...

== Избыточность естественных языков == Величина избыточности разных языков мира колеблется в пределах 70-80%<ref>Гуларян А.Б. [http://grani.vspu.ru/ge ...

...атика''' или просто '''грамматика''' в теории [[формальный язык|формальных языков]] — способ описания формального языка, то есть выделения некоторого [[Подмн позволяет анализировать [[семантика|семантику]] этого слова. ...

...лноты по Тьюрингу]] и, следовательно, представляет собой простейший [[язык программирования]]. == Семантика бестипового λ-исчисления == ...

...>k</math>. Где <math>k</math> — это ''key'', a <math>v</math> — ''value''. Семантика и названия вышеупомянутых операций в разных реализациях ассоциативного масс ...//learn.javascript.ru/object|archive-date=2015-09-15}}</ref> и других. Для языков, которые не имеют встроенных средств работы с ассоциативными массивами, сущ ...

...ислительной сложности]], [[Функциональное программирование|функционального программирования]]. ...| автор = О. А. Ильичёва | заглавие = Формальное описание семантики языков программирования | место = Ростов-на-Дону | издательство = ЮФУ | год = 2007 | страниц = 223 ...

...ена для описания [[Синтаксис|синтаксиса]] [[Естественный язык|естественных языков]]. С математической точки зрения исчисление Ламбека является фрагментом [[Л ...бека, совпадает с классом [[Контекстно-свободный язык|контекстно-свободных языков]] без пустого слова{{sfn|Пентус|1995}}. ...

...лизкое отношение к методологии [[Контрактное программирование|контрактного программирования]], и ведёт к некоторым ограничениям на то, как контракты могут взаимодейств ...ом, что такое «декларация типа» в терминах объектно-ориентированного языка программирования, который мы используем. Достаточно ли нам описать интерфейс объекта с помощ ...

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

...[Семантика|семантики]] естественных языков, основанный на [[Дистрибутивная семантика|дистрибутивной семантике]], [[Машинное обучение|машинном обучении]] и векто * [[Дистрибутивная семантика]] ...

...n|evaluation strategy}}) — правила семантики [[язык программирования|языка программирования]], определяющие, когда следует вычислять аргументы функции (метода, операци ...ол-60|Алголу-60]], созданному в конце 1950-х годов. Только [[чистота языка программирования|чистые]] [[Функциональное программирование|функциональные]] языки, такие ка ...

...еменная типа''' (''ти́повая переменная'') в [[язык программирования|языках программирования]] и [[Теория типов|теории типов]] — [[переменная (математика)|переменная]], ...уются буквы греческого алфавита (хотя многие [[язык программирования|языки программирования]] используют латиницу и допускают и более длинные именования). ...

...азложению и обычно не допускающее внутри себя перестановки своих частей. [[Семантика|Семантическая]] слитность фразеологизмов может варьировать в довольно широк ...с постоянным [[Лексический состав|лексическим составом]] и определённой [[Семантика|семантикой]]. ...

...области]] в недвусмысленном, формализованном виде, организованный по типу языков [[Математическая логика|математической логики]]. Дескрипционные логики соче ...ка)|синтаксисом]], то есть правилами построения выражений этого языка, и [[семантика|семантикой]], то есть способом приписывания этим выражениям некоторого форм ...