![]() Заглавная страница Избранные статьи Случайная статья Познавательные статьи Новые добавления Обратная связь FAQ Написать работу КАТЕГОРИИ: ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ТОП 10 на сайте Приготовление дезинфицирующих растворов различной концентрацииТехника нижней прямой подачи мяча. Франко-прусская война (причины и последствия) Организация работы процедурного кабинета Смысловое и механическое запоминание, их место и роль в усвоении знаний Коммуникативные барьеры и пути их преодоления Обработка изделий медицинского назначения многократного применения Образцы текста публицистического стиля Четыре типа изменения баланса Задачи с ответами для Всероссийской олимпиады по праву ![]() Мы поможем в написании ваших работ! ЗНАЕТЕ ЛИ ВЫ?
Влияние общества на человека
Приготовление дезинфицирующих растворов различной концентрации Практические работы по географии для 6 класса Организация работы процедурного кабинета Изменения в неживой природе осенью Уборка процедурного кабинета Сольфеджио. Все правила по сольфеджио Балочные системы. Определение реакций опор и моментов защемления |
Функції на просторі послідовностейСодержание книги
Поиск на нашем сайте
Алфавіт X - довільна не порожня множина. Ланцюжки часто називають також словами, фразами і реченнями. Порожній ланцюжок позначається спеціальним символом Довжиною |ω| ланцюжка
Визначення 9.9. Функція
Для обчислення значення
Рис. 9.4. Схема обчислення індуктивної функції
Схема обчислення індуктивного функції нагадує метод доказу за індукцією. Аналогом бази індукції є обчислення Схема обчислення індуктивної функції дозволяє легко побудувати програму типу "S0; while (e) S;", яка одержує на кожній наступній ітерації циклу черговий елемент
Простим і корисним прикладом, ілюструє схему обчислення індуктивної функції, є задача знаходження значення багаточлена, заданого послідовністю його коефіцієнтів.
Зауважимо, що
Текст програми. Методи доказу правильності програм, побудованих за допомогою схеми обчислення індуктивних функцій, і узагальнення цієї схеми, що дозволяє застосовувати аналогічний підхід для функцій, які не є індуктивними, будуть розглянуті нижче.
Завдання для самостійного вирішення
За використання схеми обчислення інваріантної функції необхідно вказати множини X, Yі
ВКАЗІВКА. Нехай Скориставшись ними і формулами
легко визначити рекурсивну функцію не від’ємного цілого аргументу
Тут операція
ЗАВДАННЯ 9.32. Напишіть програму, що знаходить найбільший спільний дільник
ВКАЗІВКИ. Скористайтеся інваріантністю функції
Не забудьте довести Т інваріантність функції F
Лекція 10.
|
||||||
Последнее изменение этой страницы: 2016-09-20; просмотров: 347; Нарушение авторского права страницы; Мы поможем в написании вашей работы! infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 3.15.38.5 (0.009 с.) |