decider

Turing machine that always halts for any input

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

Kategori:

Turing machine