The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Derivable Strings
Given Grammar is the set of derivable strings
(i.e. all string that we can obtain by applying a finite number of rewrite rules)