В описании XML EBNF-ом, w3c используюет, как я понял, собстенное расширение EBNF — исключение:
здесь
A — B matches any string that matches A but does not match B.

Как его можно преобразовать в BNF? Или в NFA автомат?