4 ms·

You're both right.

• Goladus 15y ago
  Right, you rarely have to use the formally specified grammar to parse a language, so long as whatever parsing technique you use doesn't violate the spec. A 6000-line yacc file probably isn't an easily-read formal grammar and does more than a formal syntax specification would require.