regex-id regex-code user-data(optional)
000 {{[0369]*(([147][0369]*|[258][0369]*[258][0369]*)([147][0369]*[258][0369]*)*([258][0369]*|[147][0369]*[147][0369]*)|[258][0369]*[147][0369]*)*}} &! {{0[0-9]*}} &!{{EMPTY}} 3 的倍数(最高位非0)
001 {{[0-9]*[02468]}} &! {{0[0-9]*}} 2 的倍数(最高位非0)
002 {{[0369]*(([147][0369]*|[258][0369]*[258][0369]*)([147][0369]*[258][0369]*)*([258][0369]*|[147][0369]*[147][0369]*)|[258][0369]*[147][0369]*)*}} && {{[0-9]*[02468]}} &! {{0[0-9]*}} &! {{EMPTY}} 6 的倍数(最高位非0)
003 {{[0-9]+}} &! {{0[0-9]+}} &! {{[0-9]*1234}} 结尾不是1234的数字
004 1(01*01*)* 包含偶数个0的二进制数
005 ([0-9]{1,3})\.([0-9]{1,3})\.([0-9]{1,3})\.([0-9]{1,3}) ip_address
006 (({{ab}} || {{ac}} {,3}) &! {{ac}}{2}) {{[abc]+ab}} NA
007 ((?:19|20)[0-9]{2})-([0-9]{1,2})-([0-9]{1,2}) iso-date
008 {{p}} {{[pq]}}* : {{pq}} non-greedy: p[pq]*?pq
009 {{[xyz]}}{0,} : {{xyz}} NA
010 {{[xyz]}}{0,3} : {{xyz}} NA
011 [a-z]*abcd efghijklmnopqrstuvwxyz

all-dfa: separated and whole-as-unioned

all-dfa: minimized as multi-root dfa

all-dfa: path-zipped minimized multi-root dfa