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

Цена:
150 руб.

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

material.view.file_icon 24935054-EEF6-46AF-9357-DD323709D730.zip [29 KB]
material.view.file_icon lab2
material.view.file_icon program1.cpp [769 bytes]
material.view.file_icon program1.exe [9 KB]
material.view.file_icon program2.cpp [645 bytes]
material.view.file_icon program2.exe [9 KB]
material.view.file_icon Лабораторно2.docx [Office 2007, 7 стр., 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. Написать программу, используя аксиоматическую стратегию построени
СибГУТИ Программирование Работа Лабораторная
User wchg : 14 августа 2013
79 руб.

Другие работы

Контрольная работа. Использовние ЭВМ. Вариант №1
Задание №1 Условие: Для диода, D20, определить величину тока, если к нему подключено прямое напряжение 0,3 В. Скопировать схему исследования с показанием приборов. Задание №2 Условие: Используя команду Analysis/ParameterSweep построить вольтамперную характеристику (ВАХ) диода из задания 1 в прямом включении. С помощью визирной линии определить точное значение прямого тока для напряжения 0,3 В. Скопировать график ВАХ с визирной линией в заданной точке. Задание №3 Условие: Подключить ко входу осци
******* Не известно ЭВМ и периферийные устройства Работа Контрольная
User sxesxe : 15 января 2017
100 руб.
Стенд сборки и разборки головки блока цилиндров двигателя Д-260 (конструкторская часть дипломного проекта)
На столе 1 стенда закреплены боковые стойки 2 и пневматический цилиндр 8. В боковых стойках с помощью осей шарнирно закреплена поворотная плита 5, имеющая две колонки 4, по которым передвигается нажимная планка 3. На конце штока пневматического цилиндра закреплен прижим 7. Устанавливая ручку распределительного пневматического крана 6 в различные положения, сжатый воздух подводят либо для перемещения поршня пневматического цилиндра вниз, либо вверх. При подводе сжатого воздуха сверху
Диплом и связанное с ним Ремонт, техобслуживание машин и механизмов
User maobit : 12 апреля 2018
990 руб.
Стенд сборки и разборки головки блока цилиндров двигателя Д-260 (конструкторская часть дипломного проекта)
Банки и базы данных.Курсовая работа.Лабораторные работы 1-4. Вариант 02
Курсовая работа 1. Формулировка задания на выполнение 2. Краткие теоретические сведения 2.1. Этапы проектирования базы данных (БД) 2.2. Инфологическое проектирование 2.3. Датологическое проектирование 2.4. Физическое проектирование 3. Краткое описание предметной области 4. Описание сущностей и их атрибутов 5. Построение ER-диаграммы 6. Таблицы базы данных, первичные и внешние ключи 1. Формулировка задания на выполнение Разработать базу данных «Бюро по найму». База данных должна содержать с
СибГУТИ Базы данных Работа Курсовая
User matrixat : 29 октября 2012
450 руб.
Курсовая работа по дисциплине: Сети ЭВМ и телекоммуникации. Вариант №01
Задание на курсовую работу по дисциплине «Сети ЭВМ и телекоммуникации» Тема: Проектирование мобильной сети 4G (LTE) Задание: требуется рассчитать количество оборудования (базовые станции, маршрутизаторы, элементы управления сетью, транспортные каналы) для построения сети LTE при заданных параметрах. Табл. 1. Исходные данные Вариант 1 Диапазон частот, ГГц 2,0 Режим дуплексирования FDD (отдельные симметричные полосы частот под UL и DL) Ширина полосы частот (BW), МГц 5 Мощность передатчика eNB, В
СибГУТИ Сети ЭВМ и телекоммуникации Работа Курсовая
User IT-STUDHELP : 26 августа 2020
550 руб.
promo
up Наверх