关于正则表达式 回溯过程的疑问

Question

源串: The phrase "regular expression" is called "Regex" for short.
正则表达式 ".*"@
注意, 这里的引号也是正则表达式的一部分
麻烦说一下这个回溯过程 多谢
还有, 什么是优先匹配量词呢? 谢谢

Answer 1

回溯的过程大概是这样的，首先找到源串第一个"，并把此位置标记，以便匹配失败时从此位置之后回溯。然后是正则.*，*指“匹配前面的子表达式零次或多次”，它是匹配优先的，就是可匹配也可不匹配时匹配。.*导致尝试一直匹配到结尾...short.，不成功尝试...short，再不成功尝试...shor，直到最后一个"，匹配成功。

追问

我主要想了解下 @的匹配和@匹配失败后的回溯过程 多谢

追答

不好意思看错了。
接着上面，.*尝试一直匹配到结尾，然后向前到最后一个", 这个"也会被标记，以便回溯。然后到@，发现不匹配，则从刚才标记的"向前再次找到一个"，就是"Regex的R之前的"，再次尝试匹配@，又不成功......这样直到第一个"，此时.*实际上未匹配任何字符。然后再去匹配@，发现是r，匹配失败。因为这已经是第一个标记了，所以之前再也没有"了，所以本次匹配失败。然后从这个标记开始向后找"，这就是" is中的"，标记，继续......重复以上过程，总是失败直到再也找不到"，整个串匹配失败。
貌似之前匹配hl的唯一行也是您的提问，那个问题中也给了一种可能的答案，可行的话希望结贴哈

追问

当控制权交给@的时候, @第一次匹配最后一个引号后面,失败, 控制权交给谁了呢, 是交给.*还是交给了刚刚标记的"呢 多谢 呵呵

追答

假设把正则放在类似栈结构中，现在栈顶是"，匹配@不成功，则"出栈，再去读正则发现下个是"，又发现有失败标记，则从标记往前再去匹配到一个"，"进栈，再去匹配@。
所以按照你的理解方式，“控制权”说交给.*比较合适

追问

你说的 "
则"出栈，再去读正则发现下个是"，又发现有失败标记，则从标记往前再去匹配到一个"，"进栈，再去匹配@。

" 我不太理解 呵呵,
1,源串最后一个"出栈后, 下一个我觉得应该是匹配到的Regex中的x才对呀.
2, 从标记往前再去匹配到一个" 是什么意思呢? 是什么标记往左匹配呢?
3, "进栈是第几个引号进栈呢? 有点糊涂了 呵呵

追答

栈啊标记啊神马的都是具体实现中可能用到的方式，我这样的说法也只是一种可能的实现，因为要事无巨细的分析下去，只有拿到一个具体的环境中讨论，比如java实现，python实现。
为啥往标记的左侧匹配呢？取决于实现中对标记的逻辑定义和使用。
如果你是想从使用的角度分析下，个人觉得还是从总体上把握。如果要自己实现下，我感觉还是从编译原理状态机什么的入手。
功力有限，不过从你这个问题和之前那个hl，感觉这两个问题都值得答一答