Ciro Santilli
🔗

Universal Turing machine | 🗖 nosplit | ↑ parent "Turing machine" | 53

🔗
A Turing machine that simulates another Turing machine/input pair that has been encoded as a string.
🔗
In other words: an emulator!
🔗
The concept is fundamental to state several key results in computer science, notably the halting problem.
🔗