turing complete conditions - Search