Лабораторная работа №2 Семантическая теория программ |
Купить Гарантия | |
Код работы: | 3423 | |
Дисциплина: | Программирование | |
Тип: | Контрольная | |
Вуз: | СибГУПС - посмотреть другие работы и дисциплины по этому вузу | |
Цена: | 290 руб. | |
Просмотров: | 7650 | |
Уникальность: | В пределах нормы. При необходимости можно повысить оригинальность текста |
|
Содержание: |
Лабораторно-практическая работа №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, так как тогда появляются угловые скобки. Другие способы вывода также не получатся в силу указанной причины. Данная цепочка невыводима и не принадлежит языку.... ... | |
Купить эту работу Гарантия возврата денег |
Тема: | Образовательная программа дошкольного образования как элемент стратегии реализации ФГОС ДО | Подробнее |
Тип: | Иное | |
Вуз: | КамГУ | |
Просмотры: | 7371 | |
Тема: | Лабораторная работа №4,5, вариант 28 (имеются программы) | Подробнее |
Тип: | Лабораторная работа | |
Вуз: | СибГУТИ | |
Просмотры: | 9788 | |
Тема: | Социальная программа как форма социального управления | Подробнее |
Тип: | Контрольная | |
Вуз: | СибАГС | |
Просмотры: | 7180 | |
Тема: | Инвестиционная программа стратегического плана социально-экономического развития России | Подробнее |
Тип: | Контрольная | |
Вуз: | Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ) | |
Просмотры: | 9835 | |
Тема: | Лабораторные работы 1,2,3,4,5 (для каждой работы имеется программа) | Подробнее |
Тип: | Лабораторная работа | |
Вуз: | СибГУТИ | |
Просмотры: | 9057 | |
Тема: | Стек (имеется программа) | Подробнее |
Тип: | Контрольная | |
Вуз: | АлтГПА | |
Просмотры: | 8986 | |