decider

Turing machine that always halts for any input

دسته بندی ها: