实现一个POSIX标准的正则表达式库只有模拟NFA回溯这一种办法吗

有穷自动机不能计数，所以涉及到正则表达式量词的话就只能用NFA回溯来做了吗？
翻了一下各种实现，包括RE2、STL的regex、还有v8引擎的irregex，都是这么做的，只不过irregex编译成机器码，更快了而已。