Узнать подробности

Семантическая теория программ

Состав работы

24935054-EEF6-46AF-9357-DD323709D730.zip [ 29 KB ]

lab2

program1.cpp [ 769 bytes ]

program1.exe [ 9 KB ]

program2.cpp [ 645 bytes ]

program2.exe [ 9 KB ]

Лабораторно2.docx [ 22 KB ]

Работа представляет собой 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] из одних нулей.

Дополнительная информация

2012. Зачет. Вариант 8.

Теория вычислительных процессов. Лабораторная работа №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. Формальные языки Е и Т определены над алфавитом {а, *, &, <, >} с помощью денотационной семантики равенствами Е = Т U * Т U Е & Т и Т= а U а* U <Е>. Какие из следующих строк *а&*а*&а*; *а&<а&а*>; *<*а*&а>&<*а*>* принадлежат языку Е и какие не принадлежат. 3. Написать программу, используя аксиоматическую стратегию построени

СибГУТИ Программирование Работа Лабораторная

wchg : 14 августа 2013

79 руб.

Апокалиптический "образ зверя" - икона для "православной России"?

Апокалиптический "образ зверя" - икона для "православной России"? Реферат Александра Голенкова Кострома "…Fuer die Gesundheit der Nation… "Для здоровости нации, необходимы кровопускания в виде войн каждые 10-15 лет" (Из рецептов выдающегося "врача нации" Адольфа Гитлера) Как предисловие: об Эпиграфе.\ Удивительно, но у русских людей всё ещё сохраняется противоядное отторжение фашизма. И если я привёл здесь в эпиграф цитату из вышеозначенного бредового опуса, то, верно, речь пойдёт против фашизма

Философия Работа

alfFRED : 17 ноября 2012

10 руб.

Проектирование ВОЛС на участке зоновой сети

ЗАДАНИЕ на курсовой проект на тему: "Проект магистральной (внутризоновой) ВОЛС" 1. Выбрать и обосновать трассу прокладки ВОЛС между пунктами Новосибирск - Новокузнецк 2. Рассчитать необходимое число каналов. 3. Выбрать систему передачи и определить требуемое число оптических волокон в ОК Выбрать тип ОК и начертить поперечный разрез ОК. 4. Рассчитать параметры ОК. 5. Определить длину регенерационного участка. 6. Разработать структурную схему организации связи и привести схему размещения реге

СибГУТИ Работа Курсовая Телекоммуникации

ДО Сибгути : 28 января 2013

100 руб.

Задача по физике (развернутое решение в Word)

Мяч брошен со скоростью v=10 м/с под углом α=45° к горизонту. На какую высоту h поднимется мяч? На каком расстоянии l от места бросания он упадет на землю? Какое время t он будет в движении? Определить скорость, ускорение и радиус кривизны в двух любых точках траектории.

Задачи Физика

Григорий12 : 21 декабря 2016

40 руб.