Changes

MyWikiBiz, Author Your Legacy — Wednesday June 19, 2024
Jump to navigationJump to search
Line 1,485: Line 1,485:  
In the context-free style of formal grammar, the ''additive'' aspect is easy enough to spot.  It is signaled by the parallel covering of many augmented strings or sentential forms by the same non-terminal symbol.  Expressed in active terms, this calls for the independent rewriting of that non-terminal symbol by a number of different successors, as in the following scheme:
 
In the context-free style of formal grammar, the ''additive'' aspect is easy enough to spot.  It is signaled by the parallel covering of many augmented strings or sentential forms by the same non-terminal symbol.  Expressed in active terms, this calls for the independent rewriting of that non-terminal symbol by a number of different successors, as in the following scheme:
   −
<pre>
+
{| align="center" cellpadding="8" width="90%"
| q    :>    W_1.
   
|
 
|
| ...  ...  ...
+
<math>\begin{matrix}
|
+
q & :> & W_1 \\
| q     :>   W_k.
+
\\
 +
\cdots & \cdots & \cdots \\
 +
\\
 +
q & :> & W_k \\
 +
\end{matrix}</math>
 +
|}
    +
<pre>
 
It is useful to examine the relationship between the grammatical covering
 
It is useful to examine the relationship between the grammatical covering
 
or production relation ":>" and the logical relation of implication "=>",
 
or production relation ":>" and the logical relation of implication "=>",
12,080

edits

Navigation menu