這是什麼語言？

Question

這就是語言：

L = { w belong {a,b,c}* | |w|= 3 * number(a) (w) }

那麼，這是什麼意思？

Answer 1

這意味着L是字符串組成的符號'a'的語言w，'b''和'c'，其中所述串w的長度等於字符串w在符號'a'本至3中的次數。

此語法的製作應該是這樣的，如果其添加一個'a'那麼它也增加了兩個'b'，或兩個'c'，或一個'b';一個'c'。檢查以下文法：

S →^| SaSMSM | SMSaSM | SMSMSa 
M → b | c 

這裏^意味着epsilon。

要生成aabbcc使用權最推導

1. 小號→SaSMSM
2. 通過替換RHS第一S ^使用了S→^
   小號→SaSMSM→aSMSM
3. 更換小號→SaSMSM
   S→SaSMSM→aSaSMSMMSM
4. 使用S→^
   S→SaSMSM→aSaSMSMMSM→aaSMSMMSM
5. 使用s→^
   小號→SaSMSM→aSaSMSMMSM→aaSMSMMSM→aaMSMMSM
6. 中號→早
   小號→SaSMSM→aSaSMSMMSM→aaSMSMMSM→aaMSMMSM→aabSMMSM
7. 使用s→^
   小號→SaSMSM→ aSaSMSMMSM→aaSMSMMSM→aaMSMMSM→aabSMMSM→aabMMSM
8. 中號→早
   小號→SaSMSM→aSaSMSMMSM→aaSMSMMSM→aaMSMMSM→aabSMMSM→aabMMSM→aabbMSM
9. 中號→C
   小號→SaSMSM→aSaSMSMMSM→aaSMSMMSM→aaMSMMSM→aabSMMSM→aabMMSM→aabbMSM→aabbcSM
10. 使用s→^
    小號→SaSMSM→aSaSMSMMSM→aaSMSMMSM→aaMSMMSM→aabSMMSM→aabMMSM→aabbMSM→aabbcSM→aabbcM
11. 中號→C
    小號→SaSMSM→aSaSMSMMSM→aaSMSMMSM→aaMSMMSM→aabSMMSM→aabMMSM→aabbMSM→aabbcSM→aabbcM→爲aabbcc