E. Asarin, O. Maler, On some Relations between Dynamical Systems and Transition Systems.

Основной результат состоит в том, что любая машина Тьюринга может быть реализована с помощью дифференциального уравнения в 3-мерном пространстве с кусочно-постоянной правой частью. Тем самым, задача достижимости для таких систем неразрешима в R³ . В то же время, как показали Maler и Pnueli, эта задача разрешима в R² .[Postscript]