Parsing Expressions

•  the empty string
• a terminal (a ∈ ∑)
• A nonterminal (A ∈ N)
• e1 e2 a sequence of parsing expressions
• e1 / e2 prioritized choice between alternatives
• e?, e*, e+ optional, zero-or-more, one-or-more
• &e, !e syntactic predicates