Магазин готовых работ » Программирование

Лабораторная работа №2 Семантическая теория программ		Скачать Гарантия
Код работы:	3423
Дисциплина:	Программирование
Тип:	Контрольная
Вуз:	СибГУПС
Цена:	350 руб.
Просмотров:	852
Выложена:	23 июня 2012г.
Содержание:	Лабораторно-практическая работа №2. Семантическая теория программ 1) Функции: F(n), G(n) определены с помощью операционной семантики равенствами: F(0)=1, G(0)=2, F(n)=G(n-1), G(n)=F(n-l) + G(n-1). Найти значения F(3) и G(3). 2) Формальные языки Е и Т определены над алфавитом {а, *, &, } с помощью денотационной семантики равенствами Е = Т U * Т U Е & Т и Т= а U а* U . Какие из следующих строк *а&*а*&а*; *а&; *&* принадлежат языку Е и какие не принадлежат. 3) Написать программу, используя аксиоматическую стратегию построения и проверки цикла. Дан массив B[0:n-1], n > 0. Присвоить переменной х наименьшее значение из B. Если наименьшее значение встречается в B более одного раза, выбрать любой из них. Предусловие Q: n >0; Постусловие R: x
Отрывок из работы:	1) Функции: F(n), G(n) определены с помощью операционной семантики равенствами: F(0)=1, G(0)=2, F(n)=G(n-1), G(n)=F(n-l) + G(n-1). Найти значения F(3) и G(3). Решение: Для вычисления значений F(3) и G(3) осуществим следующие шаги. 1 шаг: F(3) = G(3-1) = G(2) G(3) = F(3-1) + G(3-1) = F(2) + G(2) 2 шаг: G(2) = F(2-1) + G(2-1) = F(1) + G(1) F(2) = G(2-1) = G(1) ... 2) Формальные языки Е и Т определены над алфавитом {а, *, &, } с помощью денотационной семантики равенствами Е = Т U * Т U Е & Т и Т= а U а* U . Какие из следующих строк *а&*а*&а*; *а&; *&* принадлежат языку Е и какие не принадлежат. Решение: Для строки *а&*а*&а* вывод может быть таким: E -> E&T -> E&T&T -> *T&T&T -> *a&T&T *а* не выводится из T, и нельзя осуществить возврат к E, так как тогда появляются угловые скобки. Другие способы вывода также не получатся в силу указанной причины. Данная цепочка невыводима и не принадлежит языку.... ...

 
Не нашли подходящей работы? Закажите её у нас »        Вы также можете: Вернуться к рубрикатору дисциплин »
 
 

Возможно Вас также заинтересуют другие работы:

Тема:	Региональная комплексная программа научно-технического прогресса, ее значение и особенности разработки	Подробнее
Тип:	Контрольная
ВУЗ:	РАНХиГС
Просмотры:	856
Выложена:	19 июня 2013г.

Тема:	Лабораторные работы 1,2,3,4,5 (для каждой работы имеется программа)	Подробнее
Тип:	Лабораторная работа
ВУЗ:	СибГУТИ
Просмотры:	493
Выложена:	09 июля 2014г.

Тема:	Производственная мощность и производственная программа предприятия + задания вариант 5	Подробнее
Тип:	Иное
ВУЗ:	КГТУ
Просмотры:	538
Выложена:	01 июля 2014г.

Поиск других готовых работ, выполненных в «ИнПро»

Поиск

Все еще ищите готовую работу и не можете найти? Вы можете отправить заявку на бесплатную оценку стоимости ее выполнения »
 
Вы также можете: Вернуться к рубрикатору дисциплин »