Open main menu

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

→‎Parser grammar example: fixed example formulas
(→‎Parser grammar example: fixed example formulas)
Line 225: Line 225:


====Parser grammar example====
====Parser grammar example====
<span style="white-space:nowrap">G = &lang;{&rang;12&fnof;&hellip;13e,(C<sub>1</sub>,C<sub>2</sub>,C<sub>4</sub>,&hellip;,C<sub>1</sub>00},P,13c)</span>
<span style="white-space:nowrap">G = &lang;{12&fnof;&hellip;13e},{C<sub>1</sub>,C<sub>2</sub>,C<sub>4</sub>,&hellip;,C<sub>100</sub>},P,13c&rang;</span>
{| <i>
{| <i>
|----
|----
|
|P = {
|13c
|13c
|&#8614;
|&rarr;
|13b 134
|13b 134
|----
|----
|
|
|13c
|13c
|&#8614;
|&rarr;
|13b 13d 133
|13b 13d 133
|----
|----
|
|
|13c
|13c
|&#8614;
|&rarr;
|13b 13d
|13b 13d
|----
|----
|
|
|13c
|13c
|&#8614;
|&rarr;
|13c
|13c
|----
|----
|
|
|13c
|13c
|&#8614;
|&rarr;
|13b 13d 13b 13d
|13b 13d 13b 13d
|----
|----
|
|
|13b
|13b
|&#8614;
|&rarr;
|131 134
|131 134
|----
|----
|
|
|13b
|13b
|&#8614;
|&rarr;
|131 13d  13d
|131 13d  13d
|----
|----
|rowspan=2| P = {
|
|13b
|13b
|&#8614;
|&rarr;
|131
|131
|----
|----
|
|13d
|13d
|&#8614;
|&rarr;
|134
|134
|----
|----
|
|
|131
|131
|&#8614;  
|&rarr;  
|C<sub>8</sub>0
|C<sub>80</sub>
|----
|----
|
|
|133
|133
|&#8614;
|&rarr;
|C<sub>2</sub>0
|C<sub>20</sub>
|----
|----
|
|
|134
|134
|&#8614;
|&rarr;
|C<sub>1</sub>0}
|C<sub>10</sub>}
|----
|----
|}</i>
|}</i>
1,079

edits