正则表达式等价判断(Beta)

采用暴力碰撞测试方法,如果两个正则表达式被相当长度的字符串碰撞成功,就认为两正则表达式等价。
相比化为最小DFA再判断的优点是不存在算法错误导致的误判。

字符集: 例如:['a','b']

正则表达式1: 例如:b*(ab?)*

正则表达式2: 例如:b*a*(aba*)*

测试长度:


结果: