[SOLVED] constructing a non deterministic turing machine