Mercurial > hg > Members > kono > Proof > automaton

comparison exercise/004.ind @ 141:b3f05cd08d24

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clean up
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 27 Dec 2020 13:26:44 +0900
parents
children
comparison
equal deleted inserted replaced
140:4c3fbfde1bc2 141:b3f05cd08d24
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 ;