added in the example for the transitionState accepting epsilon