对应一个自动机这个我知道。但是如何判断是否包含我就不知道了。所以我不确定这个是否可以作到,或者难度如何。
不过gpt还给出了一些资料,还是很有用的:
是的,有一些学术研究和论文探索了正则表达式之间包含关系的判断方法。以下是一些相关的公开资料,您可以参考它们以了解更多信息:
1. "Regular Expression Containment" by Janusz Brzozowski and David K. Hsiao: 这篇论文探讨了正则表达式的包含关系判断问题,并提出了一种基于自动机的算法来判断两个正则表达式之间的包含关系。您可以在 ACM Digital Library 上找到该论文。
2. "Regular Expression Matching and Operational Semantics" by Dexter Kozen: 这篇论文研究了正则表达式的等价性和包含关系,并介绍了一种基于有限状态自动机和操作语义的方法来判断包含关系。您可以在 Dexter Kozen 的个人网页上找到该论文的链接。
3. "Containment of Regular Expressions with Counting" by Damian Niwinski and Igor Walukiewicz: 这篇论文探讨了带有计数功能的正则表达式的包含关系判断问题,并提出了一种基于自动机和逻辑的方法来判断包含关系。您可以在该论文的作者个人网页上找到该论文的链接。
这些论文可能涉及一些复杂的理论和算法,需要一定的背景知识才能理解。如果您对这个问题非常感兴趣,我建议您深入研究相关的学术文献,并根据您的具体需求选择适合的方法。
【 在 heideggerr 的大作中提到: 】
: 现在GPT都成了衡量问题难度的参考了吗?
: GPT根本不了解“每个正则表达式都对应一个自动机”以及“正则语言上的子句关系对应于自动机上的路径包含关系”,现在的GPT还只是一个概率语言模型,它完全不理解事物的内在关系,本质上它是很弱智的东西。
--
FROM 117.133.52.*