Provide a formal definition of the production syntax. Based in part on #158.
Special productions use the <name> syntax to distinguish them from normal productions.
Only a few comments remain — the 1024 character limit and the c-forbidden stuff.
Because alternation is defined to be greedy, and the quantifiers are all defined using alternation, the old text describing this is no longer necessary.
Thom1729
commented
3 years ago
Provide a formal definition of the production syntax. Based in part on #158.
Special productions use the
<name>syntax to distinguish them from normal productions.Only a few comments remain — the 1024 character limit and the c-forbidden stuff.
Because alternation is defined to be greedy, and the quantifiers are all defined using alternation, the old text describing this is no longer necessary.