Grammar In Finite State Automata