This formal syntax specfication is provided in BNF. This information, starting in section G.2 and continuing through the end of this sppendix, is reprinted from IEEE ...