Definition talk:Backus-Naur Form

From ProofWiki
Jump to navigation Jump to search

Another suggestion in this realm: We have the terminology "terminals" vs. "non-terminals". A short thought is enough to realise that this results in precisely the same dichotomy as "metasymbols" vs. "words" of the object language. We could therefore merge the definitions of these categories into the definition of the alphabet for BNF. Thoughts appreciated. — Lord_Farin (talk) 14:08, 31 August 2013 (UTC)

Another point: The use of the term "metasymbol" on this page does not match Definition:Metasymbol. — Lord_Farin (talk) 14:10, 31 August 2013 (UTC)

I will give some thought, but it won't be immediate. --prime mover (talk) 15:03, 31 August 2013 (UTC)