Спасибо большое за помощь!
Подскажите еще, а вкладывается ли в ЕБНФ (БНФ)
то что я написал:

из входной строки "ABC" получить наборы строк

ABC,AB,A или A,AB,ABC

как это записать в нотации

s = s c | c ? но это соответствует s = c {c}

что даст только ABC

Подскажите ?