Implement a State Transition System description language & parser