Дана программа машины Тьюринга
𝑞10𝑞01𝑆,𝑞11𝑞20𝑅,𝑞20𝑞10𝑅,𝑞21𝑞21𝐿q10q01S,q11q20R,q20q10R,q21q21L{ q_10q_01S, q_11q_20R, q_20q_10R, q_21q_21L }
и начальная конфигурация 𝐾1=1𝑞114K1=1q114K_1=1q_11^4. Какова будет заключительная конфигурация 𝐾0K0K_0?

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.