decider

Turing machine that always halts for any input

en-GB/dɪˈsaɪdə/
en-US/dɪˈsaɪdɚ/

Κατηγορίες:

Turing machine