【题 名】： On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite Automata
            【作 者】： R. E. Stearns and H. B. Hunt III
            【期刊、会议、单位名称】：SIAM journal on computing
            【年, 卷(期), 起止页码】：1985 Volume 14   Issue 3
            【全文链接】：http://dx.doi.org/10.1137/0214044