Difference between revisions of "SCI/Specifications/SCI in action/Parser"

Jump to navigation Jump to search
m
→‎Said specs: fix invalid usage of <syntax>
m (Forgot to remove the "WIP")
m (→‎Said specs: fix invalid usage of <syntax>)
Line 450: Line 450:
This sequence of operators and word groups is now used to build the Said tree <i>T</i><sub>&Sigma;</sub> . I will describe the algorithm used to generate <i>T</i><sub>&Sigma;</sub> by providing a grammar <i>G</i><sub>&Sigma;</sub> , with <i>L(G<sub>&Sigma;</sub>) </i>containing all valid Said specs. The semantics will be provided under each rule with a double arrow:
This sequence of operators and word groups is now used to build the Said tree <i>T</i><sub>&Sigma;</sub> . I will describe the algorithm used to generate <i>T</i><sub>&Sigma;</sub> by providing a grammar <i>G</i><sub>&Sigma;</sub> , with <i>L(G<sub>&Sigma;</sub>) </i>containing all valid Said specs. The semantics will be provided under each rule with a double arrow:


<syntax type="?">
<pre>
         G\Sigma = ({saidspec, optcont, leftspec, midspec, rightspec, word, cwordset, wordset, expr, cwordrefset, wordrefset, recref}, \Gamma, P, saidspec)
         G\Sigma = ({saidspec, optcont, leftspec, midspec, rightspec, word, cwordset, wordset, expr, cwordrefset, wordrefset, recref}, \Gamma, P, saidspec)


Line 541: Line 541:
                                 \Rightarrow (141 144 (144 14f wordset))
                                 \Rightarrow (141 144 (144 14f wordset))
         }
         }
</syntax>
</pre>


==Matching the trees==
==Matching the trees==
1,079

edits

Navigation menu