4 ms·
https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_Form https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_Form
by 6581 12y ago
https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_Form https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_Form
- marktangotango 12y agoBNF can specify the syntax, but not the semantics ie the meaning. There are several methods of specifying the semantics[1], it's known to be notoriously difficult to completely specify the semantics of a language, with some languages more suited to a formal definition than others. I believe Haskell is the most commonly used language today with the best formal definition. [1] http://en.wikipedia.org/wiki/Semantics_(computer_science)#Approaches http://en.wikipedia.org/wiki/Semantics_(computer_science)#Ap...