.net - 如何将此 Backus–Naur 形式表达式转换为正则表达式 (.Net)？

Question

表达式为：

N | ( 1 { A | B | C | D | E1 | E2 | E3 } )

表示描述符“N”或一个或多个列出的描述符，不重复。

我得到的最好的是：

@"^(N|(A|B|C|D|E1|E2|E3){1,})$"

但这并不能防止重复。

@"^(N|(A{0,1}B{0,1}...)$" 

这可以防止重复，但随后需要元素的特定顺序，这也不是很好。

有任何想法吗？

（我实际上不确定 bnf 表达式本身是否不允许重复，但这正是我所需要的。）

Answer 1

好吧，你可以，但它并不漂亮：

Regex regexObj = new Regex(
    @"^           # Start of string
    (?:           # Either match...
     N            # N
    |             # or...
     (?:          # Match one of the following:
      A(?!.*A)    # A unless followed somewhere later by another A
     |            # or
      B(?!.*B)    # B unless...
     |            # etc. etc.
      C(?!.*C)
     |
      D(?!.*D)
     |
      E1(?!.*E1)
     |
      E2(?!.*E2)
     |
      E3(?!.*E3)
     )+           # one or more times
    )             # End of alternation
    $             # End of string", 
    RegexOptions.IgnorePatternWhitespace);

此解决方案使用否定前瞻断言。

Answer 2

我不确定即使是.net Regex（比“常规语言”的最严格定义更强大）也可以做到这一点；无论如何，除非您要求仅使用 a ，否则Regex（在我看来）没有任何问题：

bool IsValid(string input)
{
    var Ns = input.Count(c => c == 'N');
    var As = input.Count(c => c == 'A');
    // etc
    var E1s = Regex.Matches(input, "E1").Count
    // etc

    var maxDescriptorCount = (new[] { As, ... ,E1s, ... }).Max();

    var isValid = 
        ((Ns == 1) && (maxDescriptorCount == 0))
        ||
        ((Ns == 0) && (maxDescriptorCount == 1))
        ;

    return isValid;
}

它是解决问题的最短代码吗？不，它可读和可维护吗？我认同。

_{（如果你愿意，你可以写一个带有签名的实用方法int MaxN(params int[] numbers)）}