turing machine
(subgroup of
machine)
→
CapableOf
→
halt on every input
|
0.25 |