Приклад 1.1.

Необхідно записати програму машини Поста, що має наступну властивість. Для будь-якого числа , якщо початковий стан машини Поста такий, що на стрічці записаний машинний запис числа ( а інші секції стрічки порожні) і каретка стоїть навпроти крайньої поміченої секції, що розміщена ліворуч, виконання програми повинно привести до результативної зупинки після чого на стрічці (у будь-якому її місті) буде записано число ( а інші секції стрічки будуть порожні) а каретка може стояти де завгодно.

1. 1.

2. 2. стоп.

3. стоп. 3.