Нужна помощь в создании CFG для языка

Question

Я хочу сопоставить строки, которые содержат "k" число 0, а затем "k+4" число 1, где k больше или равно нулю

Я пробовал следующую грамматику это правильно?

S->0S1|1111

Answer 1

Да, это правильно. Хотя можно сказать, что грамматика генерирует строки, а не совпадает.