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:

(βŒˆπ‘€βŒ‰βŠΈπ΅)(𝑣)≅𝐡(𝑀·𝑣)β‰…(π·βŒˆπ‘€βŒ‰π΅)(𝑣)
grammar-derivative definition entries/parsing/grammar-derivative.hel