On a reachability set of automaton 3-counter machines

Abstract

In this paper we prove the existence of automaton 3-counter machines which have non-semilinear reachability sets.

Keywords

• abstract counter machines
• automaton counter machine
• communicating colouring automata
• reachability sets
• semilinear sets