Почему машины Тьюринга и Поста считаются универсальными алгоритмическими машинами?

Машины Тьюринга и Поста считаются универсальными алгоритмическими машинами, потому что они могут реализовать любой теоретически реализуемый алгоритм. shkolnik.pro

Это утверждение называется тезисами Черча, Поста и носит гипотетический характер, так как ни доказать, ни опровергнуть его до сих пор не удалось. shkolnik.pro

Машина Тьюринга представляет собой простейшую вычислительную машину с линейной памятью, которая согласно формальным правилам преобразует входные данные с помощью последовательности элементарных действий. prezi.com Несмотря на простоту машины Тьюринга, на ней можно вычислить всё, что можно вычислить на любой другой машине, осуществляющей вычисления с помощью последовательности элементарных действий. prezi.com

Машина Поста является упрощённой моделью современного компьютера, а программы для этой машины считаются далёким предком большинства современных языков программирования. shkolnik.pro Работа машины Поста определяется программой, состоящей из конечного числа строк. prezi.com Для работы машины нужно задать программу и её начальное состояние (то есть состояние ленты и позицию каретки). prezi.com