Infinite time turing machine