next up previous contents
Next: Automata Up: Formalisms Previous: The Chomsky Hierarchy of

Some useful properties of CFGs and RGs

  1. Metalinear grammars.CFGs with rules of the form tex2html_wrap_inline1500 or tex2html_wrap_inline1494, for tex2html_wrap_inline1504 are called metalinear grammars; they are a special case in having only one centre of recursion.
  2. Non-deterministic CF languages such as tex2html_wrap_inline1506 are distinguised from deterministic CF languages such as tex2html_wrap_inline1508; it is not possible to define a nondeterministic CF language with a deterministic CF grammar, the reverse relation is valid.
  3. There are no non-deterministic regular languages; for any non-deterministic regular language, there is an equivalent deterministic regular language.
  4. 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