automation - この文脈自由文法を解く方法

Question

文脈自由文法を与える

{ w | wは{a、b、c、d} *の要素であり、aの数+bの数=cの数+Dの数}

この質問にどのようにアプローチしますか...？

Answer 1

これはどうですか：

S -> A C S     
S -> A S C                   
S -> S A C                 

S -> C A S     
S -> C S A                   
S -> S C A

S -> 
A -> a|b
C -> c|d

（もっとエレガントな解決策があるかもしれません...）

これらにアプローチする方法に関して、私の意見では、重要な洞察は通常、グループ化（ここではAとC）にありますが、学ぶための最良の方法は、多くの例を見て、多くの問題を試すことだと思います。