Alternating Turing machine Von Neumann universal constructor — an attempt to build a self-replicating Turing machine Kleene's T predicate — a similar concept for µ-recursive functions Turing completeness