Changes

split off new section [generalities about formal grammars]
Line 1,280: Line 1,280:  
|
 
|
 
|      is a sentence.
 
|      is a sentence.
 +
</pre>
    +
==Generalities About Formal Grammars==
 +
 +
<pre>
 
It is fitting to wrap up the foregoing developments by summarizing the
 
It is fitting to wrap up the foregoing developments by summarizing the
 
notion of a formal grammar that appeared to evolve in the present case.
 
notion of a formal grammar that appeared to evolve in the present case.
Line 1,403: Line 1,407:  
Finally, a string W is called a "word", a "sentence", or so on,
 
Finally, a string W is called a "word", a "sentence", or so on,
 
of the language generated by !G! if and only if W is in !L!(!G!).
 
of the language generated by !G! if and only if W is in !L!(!G!).
   
</pre>
 
</pre>
  
12,089

edits