Схема вычисления индуктивной функции позволяет легко построить программу вида:
Простым примером, иллюстрирующим схему вычисления индуктивной функции, является задача нахождения значения многочлена:
Схема вычисления индуктивной функции может быть несколько упрощена при условии наличия у функции:
Схема вычисления индуктивной функции напоминает:
Для того чтобы расширить сферу применимости схемы вычисления индуктивной функции вводится понятие:
Для доказательства факта, что заданная функция не является индуктивной, применяют:
Для вычисления значения f(w) не являющейся индуктивной функции f на цепочке w применяется следующая:
Функция f:X*->Y называется индуктивной, если f(w o x) можно вычислить, зная:
При использовании схемы вычисления инвариантной функции необходимо указать:
Ограничивающая функция позволяет: