Навигация
Базис стандартной и рекурсивной схемы. Верификация программы
7471
знак
8
таблиц
8
изображений
Министерство РФ по связи и информатизации
«Поволжская государственная академия телекоммуникаций и информатики»
Кафедра «программного обеспечения информационных технологий»
КОНТРОЛЬНАЯ РАБОТА ПО КУРСУ:
«Теория вычислительных процессов»
2010
Задание 1
Построить базис стандартной схемы;
Реализовать стандартную схему в графовой и линейной формах;
Составить интерпретацию для заданной стандартной схемы;
| 6 | Расчет суммы чисел Фибоначчи | Расчет суммы первых четырех чисел Фибоначчи |
Числа Фибоначчи (Fi) определяются по формулам F0 = F1 = 1; Fi = Fi –1 + Fi –2 при i = 2, 3, ... (каждое очередное число равно сумме двух предыдущих).
Вычислим сумму первых четырёх чисел Фибоначчи, которые не превосходят заданного натурального числа М. Зададим число M = 4.
алгоритм Фибоначчи (аргумент целое М, результат целое S)
дано | M>0
начало цел F0, F1, F2
F0:=1; F1:=1; F2:=2
S:=4 | 4 – сумма первых трех чисел Фибоначчи
начинается пока F2<=M
F0:=F1; F1:=F2; F2:=F0+F1 | серия переприсваиваний
S:=S+F2;
кончается
S:=S–F2 | из S вычитается последнее значение F2, превосходящее M
Конец
Исполнение алгоритма
| F0 | F1 | F2 | S | F2<M |
| 1 | 1 | 2 | 4 | + |
| 1 | 2 | 3 | 4+3 | + |
| 2 | 3 | 5 | 7+5 | − (кц) |
| 12-5=7 |
Базис класса стандартных схем программ
Полный базис класса стандартных схем состоит из 4-х непересекающихся, счетных множеств символов и множества операторов - слов, построенных из этих символов.
Множества символов полного базиса:
1. X = {F0, F1, F2, S, M} - множество символов, называемых переменными;
2. Множество функциональных символов; верхний символ задает местность символа; нульместные символы называют константами и обозначают начальными буквами латинского алфавита a, b, c...;
3. Множество предикатных символов; нульместные символы называют логическими константами;
4. {program, uses, var, begin, end} - множество специальных символов.
Множество операторов включает пять типов:
1. начальный оператор - слово вида start(F0, F1, F2), где F0, F1, F2 - переменные, называемые результатом этого оператора;
Похожие работы
... собственные. Вместе со старым прагматизмом он признает практическую ориентацию познания. Однако, он более последователен, чем старый прагматизм, поскольку берет на себя ответственность за применение прагматических критериев ко всем аспектам познания и сознательно отказывается от оговорок, встречающихся в некоторых других прагматических системах. Он постоянно настаивает на том, что все предложения ...
... 0 505/103 0 792/103 669/103 500/103 Анализ Таблицы 6 позволяет сделать вывод о допустимости и оптимальности базиса XБ4=(x5, x7, x1, x2, x4)T. 3.4 Результат решения задачи планирования производства В результате решения поставленной задачи симплекс-методом получили набор производимой продукции x=(x1, x2, x3, x4, x5)=( 15145/103, 8910/103, 0, 1250/103, 3255/103), который удовлетворяет всем ...
0 комментариев