bn:00554043n
Noun Concept
JA
No term available
EN
In computability theory, a decider is a Turing machine that halts for every input. Wikipedia
English:
computability theory
Relations
Sources