Counter machines

Concept

abstract machine used in a formal logic and theoretical computer science

Mentioned in 1 video