Syntactic Categories
lThe various auxiliary
symbols typically
represent syntactic categories: sets of sub-expressions having a certain
type of meaning.
lCategories:
lA ¨ M + A | M S is a ÒsumÓ
lM ¨ V * M | V P is a ÒproductÓ
lV ¨ a
| b |
c V is a ÒvariableÓ