(Q7879073)

English

counter machine

abstract machine used in a formal logic and theoretical computer science

Statements

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit