“Theoretical computer concept, used by Penrose to discuss limits of computation.”

“modeled as a universal touring machine”