check point on thinking through implementation of the underlying finite state machines used to represent the grammers