> -- Geniepro писал(а):
> Reduce основан на лиспе, так что это всё-таки лямбда-исчисление, а не марковские алгорифмы...Лисп точно так же "основан" на ассемблере, ну и что.

В пакете Reduce-2 есть средство подстановки (SUB), но оно добавлено уже под влиянием SCHOONSCHIP'а (и без ссылки (за что автор второго на автора первого имеет тенденцию ворчать).
Но основная "схема" Reduce'а более всего императивная, даже не функциональная.