Лабораторная работа №2 Семантическая теория программ |
Купить Гарантия | |
Код работы: | 3423 | |
Дисциплина: | Программирование | |
Тип: | Контрольная | |
Вуз: | СибГУПС - посмотреть другие работы и дисциплины по этому вузу | |
Цена: | 290 руб. | |
Просмотров: | 7750 | |
Уникальность: | В пределах нормы. При необходимости можно повысить оригинальность текста |
|
Содержание: |
Лабораторно-практическая работа №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, так как тогда появляются угловые скобки. Другие способы вывода также не получатся в силу указанной причины. Данная цепочка невыводима и не принадлежит языку.... ... | |
Купить эту работу Гарантия возврата денег |
Тема: | План маркетинга территории как целевая программа | Подробнее |
Тип: | Курсовая | |
Вуз: | РАНХиГС | |
Просмотры: | 8916 | |
Тема: | Лабораторная работа №4,5, вариант 28 (имеются программы) | Подробнее |
Тип: | Лабораторная работа | |
Вуз: | СибГУТИ | |
Просмотры: | 9995 | |
Тема: | Тема 20: «Философская и научная программа В.Г. Лейбница» | Подробнее |
Тип: | Контрольная | |
Вуз: | АГУ | |
Просмотры: | 8020 | |
Тема: | Лабораторные работы 1,2,3,4,5 (для каждой работы имеется программа) | Подробнее |
Тип: | Лабораторная работа | |
Вуз: | СибГУТИ | |
Просмотры: | 9111 | |
Тема: | Региональная комплексная программа научно-технического прогресса, ее значение и особенности разработки | Подробнее |
Тип: | Контрольная | |
Вуз: | РАНХиГС | |
Просмотры: | 9873 | |
Тема: | Производственная мощность и производственная программа предприятия + задания вариант 5 | Подробнее |
Тип: | Иное | |
Вуз: | КГТУ | |
Просмотры: | 11808 | |