VD>Скорее всего, ведь, имеется в виду что-то вроде:
VD>[ C#]
VD>rule3 = A? B* C;
VD>// или так
VD>rule1 = A? B;
VD>rule3 = rule1? C;
VD>[/rule1]

Не понял что такое С.
У меня
A = ['0'..'9']
B = ['a'..'z']
вход: 0abcd4z выход: [(Some(0), [a,b,c,d]), (Some(4), [z])]
вход: abc2x,y выход: [(None, [a,b,c]), (Some(2), [x, y])]