(Q2518389)

English

decider

Turing machine that always halts for any input

  • total Turing machine

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit