Building construct accepting states, and instanciate initial state