| | Griebach Normal Form (Site not responding. Last check: 2007-10-23) |
 | | But, this is two different forms, which would require two separate cases to be consider when we do our proofs ;->, surely it would be better if we could restrict the grammars to just one case! |
 | | That is, all those productions where the variable on the left-hand side (LHS) is also the leftmost variable on the RHS (w can be any mixture of terminals and variables--although when we use this rule, we will only have variables there). |
 | | Hmmm, we don't have much better reason to know when or why to use this (except that you might note that is moving left-recursion [in the operation of the grammar] in favor of right-recursion...) rule than we did the last rule. |
| www.cs.umbc.edu /~woodcock/cmsc451/thing.html (1227 words) |