decider

Turing machine that always halts for any input

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

Categories:

Turing machine