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.