string - 在为一种语言生成 CFG 时需要帮助

Question

我想匹配包含“k”个0后跟“k+4”个1的字符串，其中k大于或等于0

我尝试了以下语法是否正确？

S->0S1|1111

Answer 1

是的，这是正确的。虽然有人会说语法生成字符串，但不匹配。