Kas yra universali mašina?

Universali mašina, dar žinoma kaip universali Turingo mašina arba UTM, yra „Turing“ mašina, galinti imituoti bet kurį kitą „Turing“ įrenginį. Matematiškai jį apibrėžė Alonzo bažnyčia, kuri taip pat išrado Lambda skaičiavimą. Bažnyčios darbas kartu su Turing'u sukūrė formalią skaičiavimo teoriją, vadinamą Bažnyčios-Turingo darbu.

Kompiuterių akronimai, aparatinės įrangos terminai