Схемы программ
Цель работы:
Изучить стандартные и рекурсивные схемы программ.
Задание на лабораторную работу:1. Изучить основные понятия:
- схемы программ;
- базис, интерпретация, программа, протокол выполнения программы;
- свойства схем программ: пустота, тотальность, функциональная эквивалентность, свобода;
- свободные интерпретации, согласованные свободные интерпретации;
- стандартные и рекурсивные схемы программ;
- изоморфизм и логико-термальная эквивалентность стандартных схем.
2. Изучить алгоритмы трансформации стандартных и рекурсивных схем программ.
3. Разработать нерекурсивный алгоритм решения задачи и программно реализовать его.
4. Построить стандартную схему программы.
5. Транслировать стандартную схему программы в рекурсивную.
6. Реализовать рекурсивную программу.
7. Провести тестирование программ.
Разработать метод для перевода числа из двоичной системы счисления в десятичную.
