Здравствуйте, Кодт, Вы писали:

К>Статику в динамику перевести — дело нехитрое. Динамику в статику — это другое дело.
К>Если мы исходим из того, что машина, на которой будет исполняться динамика, — конечная, то можно перечислить все её состояния и захардкодить граф переходов.
К>Как честно захардкодить бесконечный автомат?

Если возможности "статики" полны по тьюрингу, то без проблем. Просто компиляция будет очень-очень долгой и памяти должно быть достаточно для данной задачи.