grammar - 文脈自由文法 BNF

Question

拡張されていない BNF 文法のヘルプが必要です:

Σ = {a,b,c}

L = {ω ɛ Σ^* | such that all a's (if any) comes before all c's(if any)}

たとえば、文字列 aba、cbc、abacbc は言語に含まれていますが、文字列 abcabc は含まれていません。

これは私がこれまでに持っているものです（正しいですか？間違っている場合は修正してください）：

s->asbsc|bsasc|ascsb|ɛ

Answer 1

と の数は同じa'sでc'sある必要がありますか? そうでない場合は、次のような異なるケースを見逃していますaac。私はこのようなものがうまくいくはずだと思います:

S -> AC
A -> aA | bA | ε
C -> bC | cC | ε

Aプロダクションは ではない一連の文字を導出するために使用さcれ、プロダクションCは ではない一連の文字を導出するために使用されaます。