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.)