标签： grammar finite-automata
你能帮我把这个有限自动机转换成普通语法吗？
a b ____________________ --> q1 | q2 q1 q2 | q1 q3 q3 | q4 q3 <-- q4 | q3 q1 ____________________