a formal notation for context-free grammars.

listen to the pronunciation of a formal notation for context-free grammars.