Шифр 11 Лабораторная работа 02 |
300,00 ₽
Просмотров: 807
|
Тип работы: | Лабораторная работа |
Название предмета: | Теория вычислительных процессов |
Тема/вариант: | Шифр 11 Лабораторная работа 02 |
Объем работы: | 4 |
ВУЗ: | СибГУТИ |
Дата выполнения: | 2013-09-01 |
Размер файла, тип файла: | 7.56 Kb, , DOC |
Прикрепленные файлы: |
Курс 252 (447 Kb)
|
Лабораторно-практическая работа № 2
Семантическая теория программ
Цель работы: Изучить виды семантик. Научиться составлять семантику программы.
1. Функции: F(n), G(n) определены с помощью операционной семантики равенствами:
F(0)=I, G(0)=2, F(n)=G(n-I), G(n)=F(n-l) + G(n-I).
Найти значения F(3) и G(3).
2. Формальные языки Е и Т определены над алфавитом {а, *, &, <, >} с помощью денотационной семантики равенствами
3. Написать программу, используя аксиоматическую стратегию построения и проверки цикла. Дан массив B[0:n-1], n > 0. Присвоить переменной х наименьшее значение из B. Если наименьшее значение встречается в B более одного раза, выбрать любой из них.
4. Написать программу, используя различные методы построение инвариантов циклов. Дан массив B[0:n-1], n > 0. Определить, состоит ли B[0: n-l] из одних нулей.
Сообщить другу