0

言語 A = {a^ib^jc^k | の cfg を作成する必要があります。i,j,k>0 j!=k}

私の最初のアイデアは、j!=k 制限のない単純な文法を作成することでした

S -> A B C
A -> aA | a
B -> bB | b
C -> cC | c

これは明らかに制限では機能しません。j!=k を導入して新しい CFG を作成するにはどうすればよいですか?

4

1 に答える 1