Во-первых, представляется интуитивно естественным, что всякий алгоритм можно запрограммировать на машине Поста. С программистской точки ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Кузнецов В.Е.
Представление в эвм неформальных процедур
Во-первых, представляется интуитивно естественным, что всякий алгоритм можно запрограммировать на машине Поста. С программистской точки зрения это особенно естественно - программисты уже привыкли к тому, что на самых различных ЭВМ с разнообразными системами команд ( иногда довольно ограниченными) удается программировать любые алгоритмы, являющиеся алгоритмами в интуитивном смысле, и, значит, не видно причин, почему этого нельзя сделать на машине Поста. Команды целочисленной арифметики действительно удается представить в виде алгоритмов Поста [16], а более сложные арифметические операции очевидно могут быть выражены через целочисленные операции. Логические операции проще арифметических и поэтому могут быть представлены алгоритмами Поста.
![Во-первых, представляется интуитивно естественным, что всякий алгоритм можно запрограммировать на машине Поста. С программистской точки зрения это особенно естественно - программисты уже привыкли к тому, что на самых различных ЭВМ с разнообразными системами команд ( иногда довольно ограниченными) удается программировать любые алгоритмы, являющиеся алгоритмами в интуитивном смысле, и, значит, не видно причин, почему этого нельзя сделать на машине Поста. Команды целочисленной арифметики действительно удается представить в виде алгоритмов Поста [16], а более сложные арифметические операции очевидно могут быть выражены через целочисленные операции. Логические операции проще арифметических и поэтому могут быть представлены алгоритмами Поста.](/pic/3467846KkyZWuz0047139629.png)