Next: Automata
Up: Formalisms
Previous: The Chomsky Hierarchy of
- Metalinear grammars.CFGs with rules of the form
or
, for
are called metalinear grammars; they are a special case in having only one centre of recursion.
- Non-deterministic CF languages such as
are distinguised from deterministic CF languages such as
; it is not possible to define a nondeterministic CF language with a deterministic CF grammar, the reverse relation is valid.
- There are no non-deterministic regular languages; for any non-deterministic regular language, there is an equivalent deterministic regular language.
- For any left-linear grammar there is a right-linear grammar which generates the same language.
Dafydd Gibbon
Fri Nov 28 02:24:58 MET 1997