turing-complete view 2