Grammar specification & current state.