Eine universelle Maschine, auch bekannt als universelle Turing-Maschine oder UTM, ist eine Turing-Maschine, die jede andere Turing-Maschine simulieren kann. Es wurde mathematisch von Alonzo Church definiert, der auch den Lambda-Kalkül erfand. Die Arbeit von Church, kombiniert mit der von Turing, schuf eine formale Berechnungstheorie, die als Church-Turing-These bekannt ist.
Computer-Akronyme, Hardware-Begriffe
