On the extreme power of nonstandard programming languages

Takuma Imamura

Suenaga and Hasuo introduced a nonstandard programming language ${\mathbf{While}}^{\mathbf{dt}}$ which models hybrid systems. We demonstrate why ${\mathbf{While}}^{\mathbf{dt}}$ is not suitable for mo…