generated at
universal 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