decider

Turing machine that always halts for any input

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

카테고리:

Turing machine