2

我想创建一个包含字符“imsxeADSUXju”的 ABNF 规则。每个字符都是可选的。顺序无关紧要，但一个角色不得出现多次。

例如：它必须匹配

"i" "im" "mi" "" "uUsejXx" "imsxeADSUXju"

但不匹配

"iim" "UmUu" "imsss"

我创建了以下规则，但它不会阻止一个字符出现多次：

options = 0*12( "i" / "m" / "s" / "x" / "e" / "A" / "D" / "S" / "U" / "X" / "j" / "u" )

在此规则中，顺序很重要：

options = [ "i" ] [ "m" ] [ "s" ] [ "x" ] [ "e" ] [ "A" ] [ "D" ] [ "S" ] [ "U" ] [ "X" ] [ "j" ] [ "u" ]

我如何编写一个忽略顺序但也防止双打的规则？

4

1 回答 1

3

不幸的是，您必须写出所有替代方案。忽略 ABNF 不区分大小写，它必须是

  S        = "i" after-i /
             "m" after-m /
             ...
  after-i  = "m" after-im /
             "s" after-is /
             ...
  after-im = "s" after-ims /
             ...

这里的语言是规则的，如果你考虑该语言的最小 DFA 的样子，它必须有 2^12 个状态，每个状态对应于字母表的幂集的一个元素，编码哪个字符已经看过了。

于 2015-03-13T21:34:13.823 回答