作者LPH66 (-858993460)
看板Programming
标题Re: [问题] BNF文法问题
时间Sun Apr 3 18:10:42 2011
※ 引述《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
1F:推 supercygnus:谢谢 高手 114.44.98.95 04/03 18:53