decider

Turing machine that always halts for any input

Categorías: