确定有限自动机的最简化要求：输入确定的有限自动机，输出最简化的有限自动机。是编译原理的，用C来做
http://www.cnblogs.com/autosar/archive/2012/06/22/2558604.html