推 LPH66:囧 我打錯了 那裡應該是(b|ab(bb)*a) 04/20 18:20
→ LPH66:等等我回一篇試著拆的解釋法好了 04/20 18:20
: --
: 試著去對原PO舉的兩個例子:
:
: aabbb: (a(bb)*a)*(b|ab(bb*)a)((a(bb)*a)*|(b|ab(bb*)a)(a(bb)*a)*(b|ab(bb*)a))*
: [ aa ][ b ] [ bb ]
:
: aba: (a(bb)*a)*(b|ab(bb*)a)((a(bb)*a)*|(b|ab(bb*)a)(a(bb)*a)*(b|ab(bb*)a))*
: [ ε ] [ab a][ ε ]
比較好奇的是這邊...
(b|ab(bb*)a)
應該是b 或者 ab(bb*)a ，應該寫成ab(bb)*a?? 不然bb*至少一定有一個b吧？
就會變成abba @@"
當時助教隨意解沒解出來，他提供了個想法：
兩個都偶再配一個b
(ε|aabb|abab|abba|bbaa|baba|baab ) assume 為 A
Reg: A*bA*
不過這例子沒包含到aba、abbba、aabaa、aaaabbbaa、abaabba等等格式，
後來直接想實在想不到 orz
而且沒教DFA轉REG方法，所以...
--
河豚は食いたし命はおしし....
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 122.126.4.129
※ 編輯: shingoliang 來自: 122.126.4.129 (04/20 15:55)