decider

Turing machine that always halts for any input

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

Категорії:

Turing machine