- 主题:有没有好用的自动产生正则表达式的库？
正则就是你告诉它怎么匹配。要生成正则就相当于弄一个词法分析
--
FROM 82.19.154.*
兄弟说的是formal language吗？
【 在 siegfried415 的大作中提到: 】
: 不是进行词法分析，而是根据若干文本归纳出对应这些文本的正则表达式，当然这样的正则表达式会有无限多，工程中需要根据某些指标（比如最具体的）来确定最优的正则表达式，这个过程叫文法推断，在形式文法的教科书中会有专门的一章讨论这个主题，奇怪的是很少人了解它。
--
FROM 82.19.154.*
惭愧啊，这是我当年认为最没有用的一科。学了，用的formal b，过了。但是全忘了
【 在 siegfried415 的大作中提到: 】
: 嗯。
--
FROM 82.19.154.*
关键当年还比较懵，没搞懂这玩意儿有什么用。好像叫形式化验证
【 在 siegfried415 的大作中提到: 】
: 没什么，估计你在工作中用不到，所以不会关注的。
:
--
FROM 82.19.154.*