regcmp
形式正则表达式等价性判定工具
输入 1
正则表达式
自动机
选择文件
# 接受全体字符串的 DFA start: q0 accept: q0 q0 a q0 q0 b q0
输入 2
正则表达式
自动机
选择文件
# 也接受全体字符串的 DFA start: q0 accept: q0 q1 q0 a q1 q0 b q1 q1 a q0 q1 b q0
详细输出
比较