Пустая строка в качестве базового варианта в рекурсии BNF?

Question

Я пишу небольшую грамматику в качестве упражнения для класса, и мой преподаватель не особо разбирался в том, что квалифицирует юридическое выражение БНФ в терминах.

Грамматика BNF должна распознавать строки в такой форме: AB, AABB, AAABBB, A ... B ... (общая форма: AnBn)

Итак, я поднялся и написал:

<S> --> A<S>B | ""

Мой простой вопрос: да / нет, является ли это законным в БНФ, и если нет, то почему?

<...> представляет нетерминал, я понятия не имею, если это соглашение или нет

Answer 1

Да, это приемлемый BNF.Вы можете увидеть пример этого в записи в Википедии в примере о почтовых адресах в США.

Как правило, я видел пустую строку, представленную как ε.