decider

Turing machine that always halts for any input

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

分类：

Turing machine