可以求得 .*(A|B) 这个正则表达式 对应的自动机，然后根据A和B的终结节点的关系来判断，比如B的终结状态都在A的终结状态的路径上，则A包含B。

【 在 chunhui 的大作中提到: 】
: 比如我要在一个文件中找字符串。
: A= abcdef  B= abc  这两个待找的字符串是有包含关系的对吧？因为你一旦找到了A，那肯定就一定有B，因为A包含B。  abcdef不止包含abc，还包含abcde bcde def cdef。。。。
: 这种包含关系如果是纯字符串很容易判断。但是如果A B是两个正则表达式。改怎么判断？
--
修改:heideggerr FROM 113.232.129.*
FROM 113.232.129.*