该文档详细解释了如何构造最小化DFA和正则表达式之间的转换