A
language which can be entirely
described by
transformation rules in which only one
non-terminal is allowed on the
left side of the
transformation. This is called
context free because what you can
transform something into is independent of the
context it occurs in. (A language where this isn't true is a
context-sensitive language.)