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

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

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

Проектирование колонн и стропильных балок одноэтажного производственного здания
Содержание 1. Компоновка поперечника 2. Определение расчетных нагрузок и параметров 3. Определение усилий в стойках 4. Проектирование стоек 5. Расчет сборной железобетонной предварительно-напряженной двутавровой балки покрытия
Архитектура Работа
User alfFRED : 1 ноября 2012
10 руб.
5 вариант. РР. Микроэкономика.
Вариант No 5. 1.Даны следующие статистические показатели экономики условной страны за 2007 – 2008г (млрд. ден.ед.). Национальный доход в 2007 году – 3 678,7; в 2008 году – 3 964,3. Амортизационные отчисления в 2007 году – 480,0; в 2008 году– 505,0. Известно, что в 2008году. сборы чистых косвенных налогов выросли по сравнению с 2007 на 6,7%, а ВНП вырос на 7,4%. Как изменились расходы на личное потребление, если их доли в ВНП составляют 66,5% в 2007 г. и 66,3% в 2008 году. 2. В закрытой экономике
Микроэкономика Практические занятия и отчеты
User studypro3 : 6 января 2020
400 руб.
Глобализация и ее влияние на социальную среду Роль информации в условиях глобализирующегося общества
Особенностью современного мира является вступление человечества в интеграционный этап своего развития, который сопровождается беспрецедентным ростом высоких технологий, качественными изменениями в структуре производительных сил, средствах производства, созданием единого экономического пространства, универсализацией жизни. Всеобщее признание получил термин “мировой стандарт”, создаются общие формы и нормы общения, поведения, этикета и развлечений людей, не связанных с их национальной культурой и
Работа Экономика
User Qiwir : 6 ноября 2013
10 руб.
Курсовая работа по дисциплине: Вычислительная математика. Вариант №07
Вариант 7 {(y^\'=cos( 4x+y)+3(x-y)@y(0)=k), где k – наименьший положительный корень уравненияx^4-2x^3-2x^2-120=0. Вопросы для защиты: 3, 6, 10, 13. Задание к работе: Напряжение в электрической цепи описывается дифференциальным уравнением с начальным условием. Найти аналитически интервал изоляции положительного корня заданного нелинейного уравнения, вычислив производную левой части уравнения и составив таблицу знаков левой части уравнения на всей числовой оси. Написать программу, которая: наход
СибГУТИ Работа Курсовая Вычислительная математика
User IT-STUDHELP : 18 июля 2020
550 руб.
Курсовая работа по дисциплине: Вычислительная математика. Вариант №07 promo
up Наверх