Dopasowywanie listy rosnących liczb całkowitych za pomocą wyrażeń regularnych

Question

Czy można dopasować listę dziesiętnych liczb całkowitych z przecinkiem, gdzie liczby całkowite na liście są zawsze zwiększane o jeden?

te powinny być zgodne:

0,1,2,3 
8,9,10,11 
1999,2000,2001 
99,100,101 

te nie powinny pasować (w całości - dwa ostatnie mają pasujące podsekwencje):

42 
3,2,1 
1,2,4 
10,11,13 

Answer 1

Tak, jest to możliwe przy użyciu silnika regex że obsługuje backreferences i warunki.

Pierwsza lista kolejnych numerów może być rozłożona na liście, gdzie każda para numerów jest rzędu:

(?=(?&cons))\d+ 
(?:,(?=(?&cons))\d+)* 
,\d+ 

tutaj (?=(?&cons)) jest zastępczy predykatu, który zapewnia, że ​​dwie liczby są sobie. To orzeczenie może wyglądać następująco:

(?<cons>\b(?: 
    (?<x>\d*) 
    (?:(?<a0>0)|(?<a1>1)|(?<a2>2)|(?<a3>3)|(?<a4>4) 
       |(?<a5>5)|(?<a6>6)|(?<a7>7)|(?<a8>8)) 
    (?:9(?= 9*,\g{x}\d (?<y>\g{y}?+ 0)))* 
    ,\g{x} 
    (?(a0)1)(?(a1)2)(?(a2)3)(?(a3)4)(?(a4)5) 
    (?(a5)6)(?(a6)7)(?(a7)8)(?(a8)9) 
    (?(y)\g{y}) 
    # handle the 999 => 1000 case separately 
    | (?:9(?= 9*,1 (?<z>\g{z}?+ 0)))+ 
    ,1\g{z} 
)\b) 

Na krótkim wyjaśnieniem, drugi obsługę 999,1000 pary typu sprawa jest łatwiejsza do zrozumienia - jest bardzo szczegółowy opis, jak to działa w this answer concerned with matching a^n b^n. Połączenie między nimi polega na tym, że w tym przypadku musimy dopasować 9^n ,1 0^n.

Pierwszy przypadek jest nieco bardziej skomplikowany. Największą część z nich obsługuje prosty przypadek zwiększając cyfrę dziesiętną, która jest stosunkowo gadatliwy ze względu na liczbę tych cyfr:

(?:(?<a0>0)|(?<a1>1)|(?<a2>2)|(?<a3>3)|(?<a4>4) 
      |(?<a5>5)|(?<a6>6)|(?<a7>7)|(?<a8>8)) 

(?(a0)1)(?(a1)2)(?(a2)3)(?(a3)4)(?(a4)5) 
(?(a5)6)(?(a6)7)(?(a7)8)(?(a8)9) 

Pierwszy blok będzie uchwycić czy cyfra jest N w grupie AN i sekundę blok użyje wtedy warunków warunkowych do sprawdzenia, która z tych grup była użyta. Jeśli grupa aN nie jest pusta, następna cyfra powinna wynosić N + 1.

Pozostała część pierwszego przypadku obsługuje takie przypadki, jak 1999,2000. To znowu wpada w schemat N 9^n, N+1 0^n, więc jest to kombinacja metody dopasowywania a^n b^n i inkrementacji cyfry dziesiętnej. Prosty przypadek 1,2 jest traktowany jako przypadek ograniczający, w którym n = 0.

pełna regex: https://regex101.com/r/zG4zV0/1

---

Alternatywnie (?&cons) orzeczenie można zrealizować nieco bezpośrednio, jeśli są obsługiwane rekurencyjne odniesienia podciąg wzorca:

(?<cons>\b(?: 
    (?<x>\d*) 
    (?:(?<a0>0)|(?<a1>1)|(?<a2>2)|(?<a3>3)|(?<a4>4) 
       |(?<a5>5)|(?<a6>6)|(?<a7>7)|(?<a8>8)) 
    (?<y> 
     ,\g{x} 
     (?(a0)1)(?(a1)2)(?(a2)3)(?(a3)4)(?(a4)5) 
     (?(a5)6)(?(a6)7)(?(a7)8)(?(a8)9) 
     | 9 (?&y) 0 
    ) 
    # handle the 999 => 1000 case separately 
    | (?<z> 9,10 | 9(?&z)0) 
)\b) 

W tym przypadku dwa gramatyki 9^n ,1 0^n n> = 1 i prefix N 9^n , prefix N+1 0^n, n> = 0 są właściwie napisane wprost.

Kompletne alternatywne wyrażenie: https://regex101.com/r/zG4zV0/3