decider

Turing machine that always halts for any input

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

Categorias:

Turing machine