Семантическая теория программ
-
Категории:
Теория вычислительных процессов, СибГУТИ, Работа Лабораторная
-
Добавлен:
02.05.2012
-
Размер:
29 KB
-
Покупок:
1
-
Добавил:
Dusya
Написать сообщение
Скачать
Состав работы
|
|
program1.cpp
|
|
program1.exe
|
|
program2.cpp
|
|
program2.exe
|
Лабораторно2.docx
|
Работа представляет собой 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] из одних нулей.
Семантическая теория программ
Цель работы: Изучить виды семантик. Научиться составлять семантику программы.
Задания
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. «Семантическая теория программ»
wchg
: 14 августа 2013
Задания
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 руб.
Другие работы
Стратегия предприятия на основе swot-анализа
Elfa254
: 16 октября 2013
СОДЕРЖАНИЕ
Введение
1. Теоретические основы SWOT - анализа
1.1. SWOT-анализ деятельности предприятия как основа стратегического управления
1.2. Методика проведения SWOT-анализа
2. SWOT-анализ деятельности Удмуртского отделения Сбербанка России и стратегия его развития
2.1. Краткая характеристика предприятия
2.2. Разработка стратегии предприятия на основе SWOT-анализа
Заключение
Список используемой литературы
ВВЕДЕНИЕ
В условиях рыночной экономики, когда обостряется конкурентная борьба
Elfa254
: 16 октября 2013
5 руб.
Программирование мобильных устройств (часть 1). Контрольная работа и Лабораторные работы №№1-3. Вариант №1
bananchik
: 22 апреля 2020
Задание 1: Последняя цифра пароля: 5
Вариант: 3
Реализуйте приложение Калькулятор. Имеется набор кнопок, циферблат. Калькулятор позволяет вычислять (сумму, разность, произведение и частное). Предусмотреть обработку ситуации деления на ноль. Кроме этого, добавьте функции вычисления (вариант 1: вычисление синуса, вар. 2: возведение в степень, вар. 3 деление с остатком).
Дополнительные материалы
Видео по обработчику кнопок
Видео Простой список
Список произвольного вида
Задание 2: Последняя цифра п
bananchik
: 22 апреля 2020
224 руб.
Комплекс оборудования для добычи нефти с модернизацией конструкции уплотнения полируемого штока станка - скалки типа СКДТ8 – 3 – 4000-Курсовая работа-Оборудование для добычи и подготовки нефти и газа
nakonechnyy_lelya@mail.ru
: 17 апреля 2018
Комплекс оборудования для добычи нефти с модернизацией конструкции уплотнения полируемого штока станка - скалки типа СКДТ8 – 3 – 4000-Курсовая работа-Оборудование для добычи и подготовки нефти и газа-Текст пояснительной записки на Украинском языке вы можете легко его перевести на русский язык через Яндекс Переводчик ссылка на него https://translate.yandex.ru/?lang=uk-ru или с помощью любой другой программы для перевода
4 ОПИСАНИЕ ТЕХНИЧЕСКОГО ПРЕДЛОЖЕНИЯ
Известные устьові сальники недостаточно
nakonechnyy_lelya@mail.ru
: 17 апреля 2018
1104 руб.
Кредитование во внешнеторговой деятельности
Qiwir
: 25 июля 2013
Введение……………………………………………………………………. 2-5
Глава I. Международный кредит как экономическая категория
1.1 Сущность, принципы и функции международного кредита……………… 6-19
1.2 Разновидности международного кредита………………….……………. 19-35
Глава II. Внешнеторговая деятельность и её особенности, становление и развитие
2.1 Понятие и содержание внешнеторговой деятельности……………... 36-43
2.2 Механизмы страхования рисков внешнеторговой деятельности…… 43-47
Глава III. Кредитование
Qiwir
: 25 июля 2013
10 руб.
