| 释义 |
Turing machine A theoretical machine which operates according to extremely simple rules, invented by Turing with the aim of obtaining a mathematically precise definition of what is computable. It has been generally agreed that the machine can calculate or compute anything for which there is an ‘effective' algorithm (see Church's thesis).
|