add two new operations getStates and getTransitions