Formal Grammar Proof Notation

From SWaRM
Jump to: navigation, search

Note: Please feel free to edit, extent, or correct the text on this page.

As formal grammars are used to describe a language, these are often used to express the grammar of a programming language.[1] These are especially useful when linked to classes of automata, which certain classes of formal grammars do.


  1. Olivier, M.S. 1999. Information Technology Research. A Practical Guide. Johannesburg: Published by the author.

Mathematical proof research designs that use a formal grammar proof notation: