by ASM 2004 (2004 Wittenberg, Saxony-Anhalt, Germany)
Abstract state machines (ASM) sharpen the Church-Turing thesis by the c- sideration of bounded resources for computing devices. They view computations as an evolution of a state. It has been shown…