Базис стандартной и рекурсивной схемы. Верификация программы

Тип: контрольная работа
Категория: Информатика

Скачать

Купить

Министерство РФ по связи и информатизации«Поволжская государственная академия телекоммуникаций и информатики»Кафедра «программного обеспечения информационных технологий»КОНТРОЛЬНАЯ РАБОТА ПО КУРСУ:«Теория вычислительных процессов»2010Задание 1Построить базис стандартной схемы;Реализовать стандартную схему в графовой и линейной формах;Составить интерпретацию для заданной стандартной схемы;Числа Фибоначчи (Fi) определяются по формулам F0 = F1 = 1; Fi = Fi –1 + Fi –2 при i = 2, 3, ... (каждое очередное число равно сумме двух предыдущих).Вычислим сумму первых четырёх чисел Фибоначчи, которые не превосходят заданного натурального числа М. Зададим число M = 4. алгоритм Фибоначчи (аргумент целое М, результат целое S)дано | M>0начало цел F0, F1, F2F0:=1; F1:=1; F2:=2S:=4 | 4 – сумма первых трех чисел Фибоначчиначинается пока F2<=MF0:=F1; F1:=F2; F2:=F0+F1 | серия переприсваиванийS:=S+F2;кончаетсяS:=S–F2 | из S вычитается последнее значение F2, превосходящее MКонецИсполнение алгоритмаБазис класса стандартных схем программПолный базис класса стандартных схем состоит из 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 - переменные, называемые результатом этого оператора;2. заключительный оператор - слово вида stop(S), S - терм; вхождения переменных в терм S называются аргументами этого оператора;3. оператор присваивания – F0:=1; F1:=1; F2:=2; S:=4; F0:=F1; F1:=F2; F2:=F0+F1; S:=S+F<...

Другие файлы:

Моделирование работы системы и определение ее оптимальной структуры
Определение закона и построение формальной схемы функционирования системы. Алгоритмизация модели и ее машинная реализация. Составление алгоритма модел...

Минимизация и факторизация булевой функции
Факторизация покрытия и выбор функциональной схемы ячейки минимальной стоимости. Построение схемы в универсальном базисе. Тип схемы элемента. Перевод...

Разработка модели вычислительной системы
Формальная схема и закон функционирования моделируемой вычислительной системы для обработки программ. Составление алгоритма моделирующей программы на...

Рекурсивные структуры в алгоритмах
Исследование понятия рекурсии в программировании. Описание метода, который позволяет разбить задачу на части все меньшего и меньшего размера. Изучение...

Верификация прогнозов в социальном прогнозировании
Верификация прогноза как метод повышения эффективности решений. Восемь основных методов верификации прогноза, их сущностная характеристика. Этапы пров...