Footnotes

...is:
As usual, a means 0 or more a's, a means an optional a and a means one or more a's.
...functions
Actually, a function definition is an assignment to a global variable; see Section 3.