Ciro Santilli
🔗
Universal Turing machine
|
🗖 nosplit
|
↑ parent "Turing machine"
|
53
🗖 nosplit
|
⇓ toc
|
↑ parent "Turing machine"
|
Wikipedia
|
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
.
🔗