| As a result, the original formal semantics of YAWL are defined as a labelled transition system and not in terms of Petri nets. |
Поэтому исходная формальная семантика YAWL определяется как модель состояний и переходов (англ. transition system), а не в терминах сетей Петри. |
| The basic idea of distributional semantics can be summed up in the so-called Distributional hypothesis: linguistic items with similar distributions have similar meanings. |
Дистрибутивная семантика основывается на дистрибутивной гипотезе: лингвистические единицы, встречающиеся в схожих контекстах, имеют близкие значения. |
| Game-theoretical semantics has made a resurgence lately mainly due to Jaakko Hintikka for logics of (finite) partially ordered quantification which were originally investigated by Leon Henkin, who studied Henkin quantifiers. |
Теоретико-игровая семантика недавно была возрождена Яакко Хинтиккой для логик (конечной) частично покрытой квантификации, которые изначально исследовались Леоном Хенкиным. |
| Horowitz teaches a class at the University of Toronto entitled The Spirit of Democratic Citizenship which revolves around general semantics, a non-Aristotelian educational discipline first theorized by Polish engineer Alfred Korzybski. |
Горовиц преподает спецкурс «The Spirit of Democratic Citizenship» (Дух демократического гражданства) в Университете Торонто, в рамках которого рассматривается общая семантика - неаристотелевская образовательная дисциплина, впервые разработанная польским инженером Альфред Коржибски. |
| The semantics were refined in 1984 (SDL-84), the textual form was introduced for machine processing and data was introduced. |
В 1984 была улучшена семантика (SDL-84), а также была введена текстовая форма для машинной обработки. |