Grammars, and Induction
lGrammars provide a plan for parsing;
they define the syntax of a
language.
lGrammars are an instance of a more general concept: Inductive Definitions.
lrex rules are often inductive definitions; but grammars may be non-deterministic for a reason.