存在 A、B 两个正则表达式描述的数据集合 A1、B1,是否存在一种通用的方式判断 A1 完全是 B1 的子集?

查看 70|回复 3
作者:Aruforce   
比如\d 必定是*的子集。
搜索了下应该涉及编译相关的东西...半路出家完全不会啊...
有成熟的工具么?

子集, 半路出家, 存在, 集合

zhuangjia   
感觉这种场景比较适合使用 chatGPT 了
Aruforce
OP
  
要满足题述要求的完备,需要对 A 和 B 这两个正则做形式化证明( A 可转化为 B ,属于 B 的特例,B 则不可转化为 A )
感觉这种工作得看学计算理论的那帮人有没有造出相应的轮子
Aruforce
OP
  
@lookStupiToForce A1 == B1 也行...
您需要登录后才可以回帖 登录 | 立即注册

返回顶部