The general idea of deductive parsing is introduced by an example, followed by formal definitions of parsing systems and parsing schemata.
