аксиоматическая семантика Способ описания семантики языков программирования посредством задания для каждой элементарной конструкции языка предусловий и аксиом, определяющих, соответственно, условия необходимые для ее применения, и условия, которые становятся выполненными после ее применения.
English-Russian Computer dictionary
operational semantics
операционная семантика Способ задания семантики языка с помощью описания абстрактной машины, интерпретирующей его.
English-Russian Computer dictionary
semantic error
семантическая ошибка Ошибка в программе, не нарушающая правил синтаксиса языка программирования.
English-Russian Computer dictionary
semantic grammar
семантическая грамматика Описание синтаксиса естественного языка, основывающееся на семантических признаках слов.
English-Russian Computer dictionary
semantic network
семантическая сеть В искусственном интеллекте способ представления знаний или смысла текста в виде ориентированного графа, в котором вершины соответствуют понятиям, объектам, действиям, ситуациям или сложным отношениям, а дуги - свойствам и элементарным отношениям.