where

- V is a finite set of (meta)symbols, or
*variables*. - T is a finite set of
*terminal symbols*. - S V is
a distinguished element of V called the
*start symbol*. - P is a finite set of
*productions*.

Productions have the form:

Different types of grammars can be defined by putting additional restrictions on the left-hand side of productions, the right-hand side of productions, or both.

Copyright © 1996 by David Matuszek

Last modified Feb 11, 1996