V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX 提问指南
zhoudaiyu
V2EX  ›  问与答

如何用程序判断对与同一个字符串,哪个正则对于这个字符串匹配地更’精确’

  •  
  •   zhoudaiyu · 2020-01-10 18:10:19 +08:00 via iPhone · 894 次点击
    这是一个创建于 1783 天前的主题,其中的信息可能已经有所发展或是发生改变。
    比如对于 123abc,123abc 比 /d+abc 更精确,而 /d+abc 比 /d+/w+更精确,我也不好这里的精确的定义
    2 条回复    2020-01-10 18:48:40 +08:00
    geelaw
        1
    geelaw  
       2020-01-10 18:18:15 +08:00   ❤️ 1
    你可以定义表达式 A 比表达式 B 更精确当且仅当 A 识别的语言是 B 识别的语言的子集。这个序不是全序。

    判断两个表达式是否等价 和 判断一个是否比另一个更精确 是 poly-time Turing 归约等价的,前者是 PSPACE-complete,所以不要指望一个快速的算法。

    实践中,如果你的表达式很小,要判断 A 是否比 B 更精确,可以看 A 交 B 的最小 DFA 和 A 的最小 DFA 是否等价,这需要指数时间。
    zhoudaiyu
        2
    zhoudaiyu  
    OP
       2020-01-10 18:48:40 +08:00 via iPhone
    @geelaw 感谢!请问 A 交 B 的 DFA 是什么意思?是两个 dfa 的交集吗?编译原理忘了)
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   5586 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 27ms · UTC 01:29 · PVG 09:29 · LAX 17:29 · JFK 20:29
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.