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

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 [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. Написать программу, используя аксиоматическую стратегию построени

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

wchg : 14 августа 2013

79 руб.

Экзаменационный зачет по жилищному праву

Экзаменационный зачет по жилищному праву, курс МГЮА, 2011-2013 Понятие жилищного права. Источники жилищного права. Соотношение жилищного и гражданского законодательства. Принцип неприкосновенности жилища и его гарантии в жилищном законодательстве. Принцип безопасности жилища, его жилищно-правовые гарантии. Содержание конституционного права на жилище. Его жилищно-правовые гарантии. Жилищные фонды: понятие, классификации и их правовое значение. Жилищное правоотношение. Понятие, виды. Субъекты жил

Шпаргалки к экзаменационным билетам Правоведение

GnobYTEL : 14 сентября 2012

2 руб.

Історія освоєння та сучасні методи обробки металів

1.1 Перші метали в житті людини Метали відносяться до числа найбільш поширених матеріалів, які людина використовує для забезпечення своїх життєвих потреб. На протязі багатьох років людина оточувала себе металевими предметами домашнього вжитку, зброєю і прикрасами. Тому історію освоєння металів слід розглядати на фоні історичного розвитку людства. Метали з’явились в людини не зразу, не в результаті якогось революційного стрибка, вони з’явились поступово на протязі перехідного періоду між кам

История техники Работа

Elfa254 : 15 февраля 2014

10 руб.

Газотурбинные установки ТОГУ 2018 Вариант 62

Расчет теоретического и действительного циклов ГТУ Выполняется расчет простого цикла ГТУ для условной двухвальной установки. Схема установки и теоретический цикл в координатах «давление — удельный объем » представлены на рис. 1. Исходные данные: — параметры окружающей среды р0=0,1 МПа; Т0=293 К; — степень повышения давления в компрессоре πК; — степень повышения температуры в КС θ; — изоэнтропический (адиабатический) КПД компрессора ηК; — внутренний КПД турбины ηТ. При ра

Задачи Теплотехника

Z24 : 2 февраля 2026

700 руб.