12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday November 23, 2024
Jump to navigationJump to searchUser:Jon Awbrey/SANDBOX (view source)
Revision as of 20:18, 19 January 2009
, 20:18, 19 January 2009→Grammar Stuff
==Grammar Stuff==
==Grammar Stuff==
<pre>
<pre>
Parse(Surc^k_j S_j) = Lobe^k_j Parse(S_j).
Parse(Surc^k_j S_j) = Lobe^k_j Parse(S_j).
</pre>
</pre>
<ol style="list-style-type:decimal">
<ol style="list-style-type:decimal">
<li>The parse of the concatenation <math>\operatorname{Conc}_{j=1}^k</math> of the sequence of <math>k\!</math> sentences <math>(s_j)_{j=1}^k</math> is defined recursively as follows:</li>
<li>The parse of the concatenation <math>\operatorname{Conc}_{j=1}^k</math> of the <math>k\!</math> sentences <math>(s_j)_{j=1}^k</math> is defined recursively as follows:</li>
<ol style="list-style-type:lower-alpha">
<ol style="list-style-type:lower-alpha">
<li>
<li>
<p>For <math>\ell > 1,\!</math></p>
<p>For <math>k > 1,\!</math></p>
<p><math>\operatorname{Conc}_{j=1}^\ell s_j \ = \ \operatorname{Conc}_{j=1}^{\ell - 1} s_j \, \cdot \, s_\ell.</math></p></li>
<p><math>\operatorname{Parse} (\operatorname{Conc}_{j=1}^k s_j) ~=~ \operatorname{Node}_{j=1}^k \operatorname{Parse} (s_j).</math></p></li>
</ol>
</ol>
