1,079
edits
Difference between revisions of "SCI/Specifications/SCI in action/Parser"
SCI/Specifications/SCI in action/Parser (view source)
Revision as of 03:45, 19 January 2009
, 03:45, 19 January 2009→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 = ⟨{ | <span style="white-space:nowrap">G = ⟨{12ƒ…13e},{C<sub>1</sub>,C<sub>2</sub>,C<sub>4</sub>,…,C<sub>100</sub>},P,13c⟩</span> | ||
{| <i> | {| <i> | ||
|---- | |---- | ||
| | |P = { | ||
|13c | |13c | ||
|& | |→ | ||
|13b 134 | |13b 134 | ||
|---- | |---- | ||
| | | | ||
|13c | |13c | ||
|& | |→ | ||
|13b 13d 133 | |13b 13d 133 | ||
|---- | |---- | ||
| | | | ||
|13c | |13c | ||
|& | |→ | ||
|13b 13d | |13b 13d | ||
|---- | |---- | ||
| | | | ||
|13c | |13c | ||
|& | |→ | ||
|13c | |13c | ||
|---- | |---- | ||
| | | | ||
|13c | |13c | ||
|& | |→ | ||
|13b 13d 13b 13d | |13b 13d 13b 13d | ||
|---- | |---- | ||
| | | | ||
|13b | |13b | ||
|& | |→ | ||
|131 134 | |131 134 | ||
|---- | |---- | ||
| | | | ||
|13b | |13b | ||
|& | |→ | ||
|131 13d 13d | |131 13d 13d | ||
|---- | |---- | ||
| | | | ||
|13b | |13b | ||
|& | |→ | ||
|131 | |131 | ||
|---- | |---- | ||
| | |||
|13d | |13d | ||
|& | |→ | ||
|134 | |134 | ||
|---- | |---- | ||
| | | | ||
|131 | |131 | ||
|& | |→ | ||
|C<sub> | |C<sub>80</sub> | ||
|---- | |---- | ||
| | | | ||
|133 | |133 | ||
|& | |→ | ||
|C<sub> | |C<sub>20</sub> | ||
|---- | |---- | ||
| | | | ||
|134 | |134 | ||
|& | |→ | ||
|C<sub> | |C<sub>10</sub>} | ||
|---- | |---- | ||
|}</i> | |}</i> | ||