Scheme normal algorithm is a finite ordered set of so-called substitution formulas, each of which can be simple or final.
Схемой нормального алгоритма называется конечный упорядоченный набор так называемых формул подстановки, каждая из которых может быть простой или заключительной.