string - 言語の CFG を生成する際に助けが必要

Question

"k" 個の 0 の後に "k+4" 個の 1 が続く文字列を照合したい (k はゼロ以上)

次の文法を試してみましたが、これは正しいですか?

S->0S1|1111

Answer 1

はい、これは正しいです。文法が文字列を生成すると言う人もいますが、 matchではありません。