|
Купить Гарантия | |
Код работы: | 3423 | |
Дисциплина: | Программирование | |
Тип: | Контрольная | |
Вуз: | СибГУПС - посмотреть другие работы и дисциплины по этому вузу | |
Цена: | 290 руб. | |
Просмотров: | 7716 | |
Уникальность: | В пределах нормы. При необходимости можно повысить оригинальность текста |
|
Содержание: |
Лабораторно-практическая работа №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, так как тогда появляются угловые скобки. Другие способы вывода также не получатся в силу указанной причины. Данная цепочка невыводима и не принадлежит языку.... ... | |
Купить эту работу Гарантия возврата денег |
Тема: | Региональная комплексная программа научно-технического прогресса, ее значение и особенности разработки | Подробнее |
Тип: | Контрольная | |
Вуз: | РАНХиГС | |
Просмотры: | 9870 | |
Тема: | План маркетинга территории как целевая программа | Подробнее |
Тип: | Курсовая | |
Вуз: | РАНХиГС | |
Просмотры: | 8914 | |
Тема: | Образовательная программа дошкольного образования как элемент стратегии реализации ФГОС ДО | Подробнее |
Тип: | Иное | |
Вуз: | КамГУ | |
Просмотры: | 7423 | |
Тема: | Файлы и файловые системы (имеется программа) | Подробнее |
Тип: | Курсовая | |
Вуз: | АГУ | |
Просмотры: | 7615 | |
Тема: | Календарно-тематическое планирование для подготовительной группы по программе «от рождения до школы» + Рабочая программа | Подробнее |
Тип: | Иное | |
Вуз: | Неизвестен | |
Просмотры: | 5867 | |
Тема: | Социальная программа как форма социального управления. | Подробнее |
Тип: | Контрольная | |
Вуз: | РАНХиГС | |
Просмотры: | 6834 | |