Машина Тьюринга на шаблонах

[Livid]

print какой-то не совсем времени компиляции. С каким-то рекурсивным дерганием cout и прочей лабудой. При том, что сравнительно несложно сделать constexpr строки, накидать опять же constexpr конкатенацию и сделать static_assert(false, constexpr_str) например. При большом желании можно обойтись в значительной мере магией variadic templates и иметь только constexpr-конверсию в char[] (а может и попросту const, не уверен)

[victor_k]

Да, возможно. Главное вычислить конечное состояние ленты во время компиляции, распечатать ее — дело второе.

[Livid]

Нет, вру, static_assert понимает только литералы вторым аргументом. Все равно этот рекурсивный cout режет глаз. В общем сделал PR https://github.com/fnz/CTTM/pull/1