Семантическая теория программ
-
Категории:
Теория вычислительных процессов, СибГУТИ, Работа Лабораторная
-
Добавлен:
02.05.2012
-
Размер:
29 KB
-
Покупок:
1
-
Добавил:
Dusya
Написать сообщение
Скачать
Состав работы
|
|
program1.cpp
|
|
program1.exe
|
|
program2.cpp
|
|
program2.exe
|
Лабораторно2.docx
|
Необходимые программы
Работа представляет собой zip архив с файлами (распаковать онлайн), которые открываются в программах:
- Microsoft Word
Описание
Лабораторно-практическая работа № 2
Семантическая теория программ
Цель работы: Изучить виды семантик. Научиться составлять семантику программы.
Задания
1. Функции: F(n), G(n) определены с помощью операционной семантики равенствами:
Найти значения 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] из одних нулей.
Семантическая теория программ
Цель работы: Изучить виды семантик. Научиться составлять семантику программы.
Задания
1. Функции: F(n), G(n) определены с помощью операционной семантики равенствами:
Найти значения 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] из одних нулей.
Дополнительная информация
2012. Зачет. Вариант 8.
Похожие материалы
Теория вычислительных процессов. Лабораторная работа №2. «Семантическая теория программ»
wchg
: 14 августа 2013
Задания
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. Формальные языки Е и Т определены над алфавитом {а, *, &, <, >} с помощью денотационной семантики равенствами
Е = Т U * Т U Е & Т и Т= а U а* U <Е>.
Какие из следующих строк *а&*а*&а*; *а&<а&а*>; *<*а*&а>&<*а*>* принадлежат языку Е и какие не принадлежат.
3. Написать программу, используя аксиоматическую стратегию построени
wchg
: 14 августа 2013
79 руб.
Другие работы
Менеджмент и маркетинг в информационных технологиях. Контрольная работа. Вариант 6.
студент-сибгути
: 18 июня 2015
Задания и методические указания к выполнению контрольной работы по курсу “Менеджмент и маркетинг в информационных технологиях”
Целью выполнения контрольной работы является закрепление теоретических знаний, полученных по теме “Сетевое планирование и управление” и получение практических навыков расчета параметров работ сетевого графика табличным методом.
Контрольная работа выполняется по вариантам. Номер варианта выбирается по последней цифре пароля студента.
После задания даются методические р
студент-сибгути
: 18 июня 2015
99 руб.
Зачетная работа. Основы проектирования предприятий электросвязи
yuliya112008
: 24 ноября 2014
Билет № 11
Дисциплина Основы проектирования телефонной связи
1. Основы проектирования сотовых сетей.
2. Определение потребности в услугах ГТС.
yuliya112008
: 24 ноября 2014
150 руб.
Исследование асинхронного исполнительного двигателя с полным немагнитным ротором
GAGARIN
: 4 сентября 2013
Содержание
1. Цель работы
2. Назначение АИД
3. Конструкция АИД
4. Магнитные поля АИД
5. Вращающий момент АИД
6. Способы управления АИД
7. Самоход и способы его устранения
8. Статические свойства АИД
9. Динамические свойства АИД
10. Программа экспериментальных исследований АИД
11. Расчеты и построения
12. Содержание отчета
13. Контрольные вопросы
Приложение А
Приложение Б
2. Назначение АИД
Изучаемый двигатель предназначен для работы в системах управления и автоматики (СУ и А) как преобразовате
GAGARIN
: 4 сентября 2013
200 руб.
Теплотехника Задача 27.26 Вариант 15
Z24
: 12 февраля 2026
Водовоздушный нагреватель выполнен из труб диаметром 38×3 мм. Греющая среда – воздух с температурой на входе t′1 и на выходе t″1. Нагреваемая вода имеет расход G2, начальную температуру t″2 конечную t′2. Коэффициенты теплоотдачи от воздуха к трубам α1 и от труб к воде α2. Найти площадь поверхности нагрева аппарата, если он выполнен по прямоточной и противоточной схемам. Учесть загрязнение поверхности труб с одной стороны накипью толщиной 0,5 мм и с другой слоем масла толщиной 0,1 мм. Кривизной т
Z24
: 12 февраля 2026
200 руб.
