推 supercygnus:謝謝 高手 114.44.98.95 04/03 18:53
※ 引述《supercygnus (......)》之銘言：
: 給定下列BNF 文法規則：
: <pop>::=[<bop>,<pop>]|<bop>
: <bop>::= <boop>|(<pop>)
: <boop>::= x|y|z
: 請問下列那些字串不屬於上述語法所規範的集合？
: 猨A.([x,y]) 獏B.[(x),y] 獱C.[(x),[y,x]] 斅D.[y]
: 答案是D
: 想問到底要怎麼推倒呢@@? 我推來推去感覺都可以
: 可幫忙解答一下嗎 ~? 3Q ^^
以下為前三者的 leftmost derivation
A. B. C. (接B.第6行)
<pop> <pop> [(x),<pop>]
<bop> [<bop>,<pop>] [(x),[<bop>,<pop>]]
(<pop>) [(<pop>),<pop>] [(x),[<boop>,<pop>]]
([<bop>,<pop>]) [(<bop>),<pop>] [(x),[y,<pop>]]
([<boop>,<pop>]) [(<boop>),<pop>] [(x),[y,<bop>]]
([x,<pop>]) [(x),<pop>] [(x),[y,<boop>]]
([x,<bop>]) [(x),<bop>] [(x),[y,x]]
([x,<boop>]) [(x),<boop>]
([x,y]) [(x),y]
D.不能的原因 你仔細觀察即可看到 [ ] 中間必恰有一個不在其內的括號當中的逗號
而 [y] 在 [ ] 中間沒有逗號 故不屬於此語法所規範的集合
--
いああオレたちには見えてるモノがあるbデ きっと誰にも奪われないモノがあるはずさ
け 開口一番一虚一実跳梁跋扈形影相弔yュL羊頭狗肉東奔西走国士無双南柯之夢 歪も
ぶ 意味がないと思えるコトがある ラPきっとでも意図はそこに必ずある んの
く 依依恋恋空前絶後疾風怒濤有無相生 ラH急転直下物情騷然愚者一得相思相愛 だが
ろ 無意味じゃない ラ6あの意図が 恋た
で 有為転変死生有命蒼天已死黄天當立 !!6五里霧中解散宣言千錯万綜則天去私 のり
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.28.92