このBackus-Naur Form式をRegex（.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); 

このソリューションはnegative lookahead assertionsを使用しています。

Answer 2

私はそれがより強力である（でも、.NET Regexは可能だかわかりませんこれを行うための「正規言語」の厳密な定義）とにかく、あなただけ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)とユーティリティメソッドを書くことができる）}