Паровая машина Тьюринга

[fregimus]

Все полные по Тьюрингу языки равны, но некоторые из них значительно менее равны, чем другие.