Выдержка из книги
Кузнецов В.Е.
Представление в эвм неформальных процедур
Другими словами, всякий ли алгоритм представим в виде программы машины Поста. На первый взгляд уже сама бедность используемого алфавита П, X представляется препятствием для реализации в машине Поста сложных алгоритмов.