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

Цена:
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 [ 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 руб.

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

Гидравлика и теплотехника ТОГУ Теплопередача Задача 10 Вариант 7
Голый металлический провод диаметром d = 4 мм имеет температуру поверхности tст = 95 ºС. Активное электрическое сопротивление провода r = 4·10³ Ом/м. Коэффициент теплоотдачи от поверхности провода к окружающему воздуху α. Температура воздуха tв. Какой будет температура поверхности этого провода tст под слоем изоляции толщиной δ = 3 мм с коэффициентом теплопроводности λ при неизменном токе и прочих равных условиях? Определить также максимальное значение тока в изолированном проводе, если первонач
Задачи Теплотехника
User Z24 : 5 марта 2026
150 руб.
Гидравлика и теплотехника ТОГУ Теплопередача Задача 10 Вариант 7
Информационная система учета закупок материалов и продаж услуг Интернет в г. Новосибирске
Информационная система учета закупок материалов и продаж услуг Интернет в г. Новосибирске Объем работы 73 страницы, на которых размещены 54 рисунка и 15 таблиц. При написании работы использовалось 9 источников. Ключевые слова: разработка, информационная система, функциональная структура, UML-диаграммы, база данных, программное и техническое обеспечение. Работа выполнена на кафедре математического моделирования бизнес-процессов. Основные результаты: 1) Тщательно проанализирована область исследова
Диплом и связанное с ним СибГУТИ Дипломные проекты
User holm4enko87 : 4 августа 2017
1550 руб.
Информационная система учета закупок материалов и продаж услуг Интернет в г. Новосибирске
Экзамен. Менеджмент и маркетинг в информационных технологиях
Суть какой концепции определяет лозунг типа: «Производить то, что можно продать, вместо того чтобы пытаться продать то, что можно произвести: А. Концепция совершенствования товара В. Концепция маркетинга С.Концепция совершенствования производства 2. Стабильно падающий спрос на товары (услуги) сигнализирует о необходимости: А. Модернизации сети сбыта В. Модернизации товара С. Совершенствования системы стимулирования труда продавцов 3. Маркетинг – это: А. Тщательно
Менеджмент СибГУТИ Работа Экзаменационная
User RedSunrise : 8 января 2018
25 руб.
Документирование управленческой деятельности
Содержание 1 Введение ……………………………………………………………………………. 2 2 Перечень реквизитов и их краткая характеристика ……………………………… 3 3 Основные управленческие документы …………………………………………… 4-17 4 Заключение ………………………………………………………………………… 17 5. Список использованных источников …………………………………………… 18 1 Введение Деятельность любой, организации постоянно связана с обработкой и систематизацией больших массивов информации и документации. Четкое делопроизводство, грамотно организованный в соответствии с действующим зако
СибГУТИ Документоведение и делопроизводство Работа Контрольная
User ep082mii : 4 января 2011
25 руб.
up Наверх