Definition. The Derivative of a Grammar
When a grammar quotient is taken with respect to a representable grammar (matching exactly the string ), it coincides with the residual , as established by the Quotient and Residual Coincidence.
This special case is known as the Brzozowski derivative of by the string , often written as . We have the following coincidence: