Семантическая теория программ
-
Категории:
Теория вычислительных процессов, СибГУТИ, Работа Лабораторная
-
Добавлен:
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 руб.
Другие работы
Падма-пурана
Aronitue9
: 17 ноября 2012
Падма-пурана (санскр.– «Пурана лотоса»), одно из наиболее значительных и ранних произведений жанра Пуран, датируемое индологами (наряду с Вишну-, Маркандея-, Ваю-, Брахманда-, Линга- и Курма-пураной) в промежутке 4–8 вв.
Точнее, так датируются наиболее древние части памятника, тогда как последняя, в которой прославляется Бхагавата-пурана, – явно более позднего происхождения.
Лотосовая пурана является исторически многослойным памятником, различные компоненты которого складывались в разное время и
Aronitue9
: 17 ноября 2012
5 руб.
Изображение резьбовых соединений. Крепление линзы. Вариант 16
.Инженер.
: 9 марта 2026
В.П. Большаков. Создание трехмерных моделей и конструкторской документации в системе КОМПАС-3D. Практикум. Изображение резьбовых соединений. Крепление оптической детали (линзы). Вариант 16
Задача 1 - Вид спереди заменить соединением половины вида и половины разреза.
Задача 2 - Изобразить крепление оптической делали (линзы) резьбовым кольцом в оправе.
В состав работы входит:
Чертежи;
3D модели.
Выполнено в программе Компас + чертежи в PDF.
.Инженер.
: 9 марта 2026
150 руб.
Основы расчетов на прочность и жесткость типовых элементов конструкций ВолгГТУ 2019 Задача 1 Вариант 25
Z24
: 4 ноября 2025
Стальной ступенчатый брус нагружен сосредоточенными силами. Соотношение между площадями поперечных сечений приведены на рис. 12.1. Из условия прочности при растяжении найти площадь поперечного сечения А. Определить удлинение стержня.
Z24
: 4 ноября 2025
275 руб.
Опора. Задание 82. Вариант №14
bublegum
: 26 октября 2020
Опора Задание 82 Вариант 14
Выполнить сборочный чертеж сварного соединения.
Выполнить чертежи всех деталей входящих в сборочный чертеж.
В том случае ,когда сварное изделие несложное, его детали можно изготовить непосредственно по сборочному чертежу. На сборочном чертеже при этом наносят все размеры, необходимые для изготовления деталей. В спецификации в графе Формат проставляют символ БЧ(без чертежа), приводят обозначение и наименование деталей, их количество.
3d модель и чертежи (все на скр
bublegum
: 26 октября 2020
150 руб.
