Лекция: Теоретические сведения

В процессе моделирования системы построена контекстная диаграмма, отображающая всю систему в целом, и диаграмма декомпозиции первого уровня, отображающая систему в совокупности трех составляющих ее функций.

Лабораторная работа № 4. Операционная семантика

Цель работы

Целью работы является практическое изучение процесса спецификации программы с помощью операционной семантики.

Содержание отчета

Итоговым документом выполнения лабораторной работы является отчет, состоящий из следующих пунктов.

1. Титульный лист.

2. Цель работы.

3. Текст задания.

4. Решение задачи, представленное с помощью языка ПЯК.

5. Пример выполнения разработанной ПЯК-программы на SMS-машине с обоснованием выбора входных данных.

6. Выводы.

Теоретические сведения

Формализацией семантики языка называется процесс отображения его конструкций на некоторую смысловую область, элементы которой определяют значение высказываний языка. В зависимости от целей формализации используется та или иная смысловая область. Наиболее широкое распространение получили следующие смысловые области:

1) абстракция вычислительной машины;

2) математические функции;

3) математическая логика.

На основе этих смысловых областей и способов отображения синтаксиса языка на них были сформированы следующие виды семантик:

1) Операционная семантика.

2) Денотационная семантика.

3) Аксиоматическая семантика.

Операционная семантика определяет значение программных выражений в терминах последовательности вычислений, денотационная – в терминах элементов некоторых математических структур, а аксиоматическая – опосредованно, с помощью аксиом и правил в некоторой логике над программными свойствами. Один из самых простых вариантов реализации операционной семантики заключается в использовании системы переходов.