Added part of the state-transition parser