State Machine,  Automata-based programming