Mercurial > hg > Members > kono > Proof > automaton
annotate exercise/004.ind @ 406:a60132983557
...
| author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Wed, 08 Nov 2023 21:35:54 +0900 |
| parents | b3f05cd08d24 |
| children |
| rev | line source |
|---|---|
| 141 | 1 -title: push down automaton |
| 2 | |
| 3 以下のCFGを PDA に変換せよ | |
| 4 | |
| 5 小文字と記号は terminal であるとする。 | |
| 6 | |
| 7 各要素を含む例題を作成し、PDAに受け付けられることを示せ。 | |
| 8 | |
| 9 --1 | |
| 10 | |
| 11 | |
| 12 EXPR : '(' EXPR ')' | EXPR '+' EXPR | EXPR '=' EXPR' | x | y | z ; | |
| 13 | |
| 14 --2 | |
| 15 | |
| 16 STATEMENT : | |
| 17 : if EXPR then STATEMENT | |
| 18 | if EXPR then STATEMENT else STATEMENT | |
| 19 | while EXPR '{' STATEMENT '}' | |
| 20 | s | t | u ; |