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