Программы и схемы программ
Схемы программ - это математические модели программ, описывающие строение программы, или точнее строение множества программ, где конкретные операции и функции заменены абстрактными функциональными и предикатными символами. Следующий пример программ вычисления факториала n! и переворачивания слов поясняет различие между программами и их схемой S1.
Функция CONSCAR приписывает первую букву первого слова ко второму слову (т. е. CONSCAR (аб, в) = ав), а функция CAR стирает первую букву слова(т. е. CAR(аб) = б).
Дата добавления: 2015-12-20; просмотров: 29; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!