Làm thế nào tôi có thể chuyển đổi biểu thức Biểu mẫu Backus – Naur này thành một Regex (.Net)?

Question

Khái niệm là:

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

Nghĩa là mô tả "N" hoặc một hoặc nhiều trong những mô tả liệt kê mà không lặp lại.

Điều tốt nhất tôi đã có là:

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

Nhưng điều đó không ngăn cản sự lặp lại.

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

Điều đó ngăn chặn sự lặp lại nhưng sau đó yêu cầu thứ tự cụ thể cho các thành phần, điều này cũng không thực sự ổn.

Bất kỳ ý tưởng nào?

(Tôi không thực sự chắc chắn rằng biểu thức BNF bản thân không cho phép lặp lại, nhưng đó là những gì tôi cần.)

Answer 1

Vâng, bạn có thể, nhưng nó không phải là khá:

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); 

giải pháp này sử dụng negative lookahead assertions.

Answer 2

Tôi không chắc nó có thể ngay cả đối với một .net Regex (đó là mạnh mẽ hơn định nghĩa nghiêm ngặt về 'ngôn ngữ thông thường') để làm điều này; và dù sao, trừ khi bạn có nhu cầu sử dụng chỉ một Regex, không có gì sai (để tâm trí của tôi) với:

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; 
} 

Có mã ngắn nhất có thể giải quyết vấn đề? Không. Có thể đọc và duy trì được không? Tôi nghĩ vậy.

_{(Bạn có thể viết một phương pháp hữu ích với chữ ký int MaxN(params int[] numbers) nếu bạn muốn)}