• Parsing -- a framework for building parsers
• Analyzer -- the class of all lexical analyzers
• charAnalyzer -- a lexical analyzer that provides characters from a string one at a time
• nonspaceAnalyzer -- a lexical analyzer that provides non-white-space characters from a string one at a time
• Parser -- the class of all parsers
• deadParser -- a parser which accepts no tokens and is not in a terminal state
• terminalParser -- produce a parser in a terminal state
• nullParser -- a terminal parser that returns the value nil
• futureParser -- forward reference to a parser not defined yet
• letterParser -- a parser that accepts a single letter and returns it
• constParser -- produce a parser that accepts a fixed string, one character at a time
• optionalSignParser -- a parser that accepts an optional plus sign or minus sign
• NNParser -- a parser that accepts (and returns) a natural number, one character at a time
• ZZParser -- a parser that accepts (and returns) an integer, one character at a time
• QQParser -- a parser that accepts (and returns) a rational number, one character at a time
• optP -- making a parser optional
• orP -- parsing alternatives
• andP -- parser conjunction
• * Parser -- repetition of a parser
• + Parser -- repetition of a parser at least once
• Function % Parser -- transform the value returned by a parser
• Parser : Analyzer -- combine a parser with a lexical analyzer to make a complete system
• nil -- a symbol a parser may return to indicate acceptance of the empty string of tokens