decider

Turing machine that always halts for any input

زمرے: