#formal grammar #start variable #non-terminal #derivation rule #parsing #chomsky hierarchy