Backus-Naur-Nicholi normal form: Difference between revisions