1.(15) Задана структура Крипке

Вариант 39

1.(15) Задана структура Крипке

Проверьте выполняется ли формула на этой структуре.

2.(10) Посторойте BDD для булевых формул

По таблицам истинности для порядка переменных a<b<c<d. Постройте BDD для функции по алгоритму Бриана.

3. (5) График какой функции получится если пораболу сдвинуть на плоскости на 2 единицы вправо?

4. (10) Пусть задан автомат

Приведите примеры цепочек которые допускает А, если его рассматривать как а)конечный автомат б) автомат Бюхи

5. (15) Постройте программу определения минимального элемента массива и докажите ее корректность.

6. (25) Задана программа взаимного исключения, состоящая из2-х параллельных процессов P0, P1, у которых разделяемой переменной является turn:

Постройте структуру Крипке параллельной композиции двух процессов если начальное значение переменной turn может быть 0 или 1. Проверьте формально, что в программе соблюдается свойство взаимного исключения.

Дата добавления: 2015-11-04