counter machine

abstract machine used in a formal logic and theoretical computer science

카테고리: