Выдержка из книги
Кузнецов В.Е.
Представление в эвм неформальных процедур
Более того, мы замечаем, что финитные системы не очень-то уж выразительны. Подчеркнем, что этот недостаток не является признаком бедности канонических исчислений Поста по сравнению с другими финитными системами. В настоящее время доказана эквивалентность самых различных подходов к понятию финитной системы. Это означает, что если некоторая процедура описана средствами одной финитной системы, то эта процедура может быть описана и средствами другой финитной системы. Так, машина Поста может быть смоделирована в некотором каноническом исчислении Поста. И наоборот, любой алгоритм, заданный средствами канонического исчисления, может быть представлен в машине Поста.
