counter machine

abstract machine used in a formal logic and theoretical computer science

Danh mục: