Международный женский день
Пасха
День Победы
Выберите Ваш город X

Лабораторная работа №2 Семантическая теория программ

Купить Гарантия
Код работы: 3423
Дисциплина: Программирование
Тип: Контрольная
Вуз:СибГУПС - посмотреть другие работы и дисциплины по этому вузу
   
Цена: 290 руб.
Просмотров: 7418
Уникальность: В пределах нормы. При необходимости можно повысить оригинальность текста
   
Содержание: Лабораторно-практическая работа №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, так как тогда появляются угловые скобки. Другие способы вывода также не получатся в силу указанной причины. Данная цепочка невыводима и не принадлежит языку....
...

Купить эту работу
Гарантия возврата денег

 
Не подходит готовая работа? Вы можете заказать курсовую, контрольную, дипломную или другую студенческую работу профессиональным авторам!
 
Вернуться к рубрикатору дисциплин »
 

Другие готовые работы для скачивания, которые могут Вам подойти

Тема: Инвестиционная программа стратегического плана социально-экономического развития России Подробнее
Тип: Контрольная
Вуз: Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ)
Просмотры: 9633
Тема: Лабораторная работа №4,5, вариант 28 (имеются программы) Подробнее
Тип: Лабораторная работа
Вуз: СибГУТИ
Просмотры: 9320
Тема: План маркетинга территории как целевая программа Подробнее
Тип: Курсовая
Вуз: РАНХиГС
Просмотры: 8525
Тема: Аграрная программа Подробнее
Тип: Контрольная
Вуз: АГАУ
Просмотры: 9581
Тема: Тема 20: «Философская и научная программа В.Г. Лейбница» Подробнее
Тип: Контрольная
Вуз: АГУ
Просмотры: 6290
Тема: Социальная программа как форма социального управления Подробнее
Тип: Контрольная
Вуз: СибАГС
Просмотры: 6811

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


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