counter machine

abstract machine used in a formal logic and theoretical computer science

Categorie: