Оглавление
Алгебраическая семантика (информатика)
-
Основы алгебраической семантики
- Алгебраическая семантика – форма аксиоматической семантики в информатике.
- Синтаксис алгебраической спецификации состоит из определения типов данных и операций.
-
Определение и интерпретация сигнатуры
- Сигнатура определяет формальный синтаксис спецификации.
- Сорта данных и операции интерпретируются как наборы и функции.
-
Семантика и аксиомы
- Семантика описывает значение и поведение объекта спецификации.
- Аксиомы определяют условия, при которых выполняется семантика.
-
Математическая и операционная семантика
- Математическая семантика – класс алгебр, удовлетворяющих спецификации.
- Операционная семантика описывает последовательность вычислительных шагов для интерпретации спецификации.
-
Канонические свойства и их применение
- Спецификация называется конфлюентной, если все основные термины приводят к одной нормальной форме.
- Каноническая спецификация – это одновременно конфлюентная и завершающая.
- Канонические спецификации широко используются для проверки корректности программ.
Полный текст статьи: