Yoo趣儿 › Geek › 程序员 › 存在 A、B 两个正则表达式描述的数据集合 A1、B1,是否存 ...

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

查看 69|回复 3

作者：Aruforce 发布时间：2023-2-20 12:16:05

比如\d 必定是*的子集。
搜索了下应该涉及编译相关的东西...半路出家完全不会啊...
有成熟的工具么？

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

相关帖子

zhuangjia 2023-2-20 12:16:58

感觉这种场景比较适合使用 chatGPT 了

OP

2023-2-20 12:17:53

要满足题述要求的完备，需要对 A 和 B 这两个正则做形式化证明（ A 可转化为 B ，属于 B 的特例，B 则不可转化为 A ）
感觉这种工作得看学计算理论的那帮人有没有造出相应的轮子

OP

2023-2-20 12:18:36

@lookStupiToForce A1 == B1 也行...

AD1

热门主题

热门板块

问与答分享发现分享创造奇思妙想分享邀请码商业推广优惠信息 Python PHP Java JavaScript Node.js Go语言 C++HTML

公告

返回顶部