是否可以使用regex（在任何高级实现中，即：PERL、Ruby、python正则表达式模块）来禁止任何回溯特定的匹配模式？
这里有一个简单的例子：假设我想做一个正则表达式，它必须验证一个简单的语言。这个语言由以下部分组成：

• 仅数字（0至9）
• @后接a或b。

请注意，空字符串是有效的。
所以这些是有效的：""、"123"、"@a"、"1@b"、"@a123"无效："X"、"@"、"@@"、"@1"、"a"、"@aa"。
我想构建一个正则表达式，匹配有效的情况下，不匹配无效的情况下（失败）。与捕获：

• 我使用的匹配函数从字符串的开头开始搜索，但不强制完全匹配......我希望有一个解决方案，可以避免这些和所以请不要使用$来匹配字符串的结尾。我们知道**字符串不匹配，而不必检查字符串的结尾。我必须补充一点，我不能使用这个，因为我的玩具语言可以在更广泛的语言中使用，并且给定的字符串不会在那里结束......这不会破坏我们在检查字符串结尾的位置或剩余字符串的内容之前就知道字符串不会匹配我们的语法的事实。
• 请注意，如果我们匹配@，而它匹配a或b失败，则不需要进行任何回溯，因为整个字符串将无法匹配给定的语法。
• 我需要正则表达式失败不匹配字符串的一部分。

我想写的正则表达式是这样的：

(@![ab]|[0-9]|!(?!))*

有一个转折：!字符是我想象出来的，如果遇到，将不允许回溯，如果剩余的字符串不匹配剩余的模式，那么整个模式将无法匹配整个字符串。注意，!(?!)作为最后一个替代，如果遇到，将使整个模式失败。
我已经研究了原子分组和所有格量词，但是我看不出如何用它们模拟想要的结果。
这里有一个简单的方法来设置测试环境：

pip install regex &&
cat <<EOF > ./test_regex.py
#!/usr/bin/env python

import sys, regex

def check_regex(rx, *strings):
    for string in strings:
        m = regex.match(rx, string)
        print("match %-4s for %r" %
              ("Fail" if m is None else m.end(), string))

check_regex(*sys.argv[1:])
EOF
chmod +x test_regex.py

然后，这里是test命令，后面是等待的输出：你可以填写MYSTERY_REGEX吗？

./test_regex.py MYSTERY_REGEX "" "123" "@a" "1@b" "@a123" "X" "@" "@@" "@1" "a" "@aa"
match 0    for ''
match 3    for '123'
match 2    for '@a'
match 3    for '1@b'
match 5    for '@a123'
match Fail for 'X'
match Fail for '@'
match Fail for '@@'
match Fail for '@1'
match Fail for 'a'
match Fail for '@aa'

请注意，(@[ab]|[0-9])*$是一个简单的答案，将产生正确的输出，但它使用了一个最终的$，这是明确禁止在这里。

**所以你能消除检查完全匹配的需要吗？**如果你不能，你能详细说明为什么你认为这是不可能的吗？