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

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

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

Ну вот хорошие макропроцессоры и развитые системы типов полны по Тьюрингу.
Это значит, что мы можем зависнуть не только при запуске программы, но и при её компиляции.
Не просто отожрать крендельон памяти, а честно зависнуть.