| An id may be either a or b. |
<id> ::= a | b |
| An id may consist of one to three letters. |
<id> ::= <letter> |
<letter><letter>
<letter><letter><letter>
<letter> ::= a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z|
A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z |
| An id may consist of one or more letters. |
<id> ::= <letter> |
<letter><id>
<letter> ::= a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z|
A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z |
| A name is a first name, a middle initial, and a
last name. |
<name> ::=
<firstname><blank><middleinit>.<blank><lastname>
<firstname> ::=
<capletter><lowerletter>|<firstname><lowerletter>
<capletter> ::= A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z
<lowerletter> ::= a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z
<blank> ::= ' '
<middleinit> ::= <capletter>
<lastname> ::= <firstname> |