Машина Поста: различия между версиями

== Пример ==

Для сложения и вычитания натуральных (целых неотрицательных) чисел {{mvar|P}} и {{mvar|Q}} их можно представить на ленте набором из {{mvar|P}} единиц и {{mvar|Q}}, отделённых друг от друга одним нулём; пусть исходное положение каретки находится на крайней левой «1» группы единиц {{mvar|Q}} (помечено символом «<code>⇓</code>»):

 

[[Сложение]] двух чисел тривиально — достаточно поставить «<code>1</code>» между числами и стереть одно крайнее правое «<code>1</code>» у представления {{mvar|Q}}.