Т.1.3.(1) Теорема
Шеннона №1 Всякая
машина Тьюринга А может быть преобразована
в эквивалентную машину В не более чем
с двумя внутренними состояниями.
Т.1.3.(2) Теорема
Шеннона №2 Всякая
машина Тьюринга А может быть преобразована
в эквивалентную машину С не более чем
с двумя знаками внешнего алфавита.
Нормальный алгоритм
Маркова - математическое построение,
предназначенное для уточнения понятия
алгоритм, которое задается алфавитом
и нормальной схемой подстановок,
выполняемых по заранее определенной
схеме.
Тезис Маркова:
любой вычислительный процесс можно
преобразовать в нормальный алгоритм