decider

Turing machine that always halts for any input

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

Danh mục:

Turing machine