有限自动机输入,转换,识别,图形显示与化简，采用Eclipse RCP开发工具和JAVA语言进行开发，并且使用全新的SWT/JFace，一改AWT/Swing单调、沉闷的界面风格，使得软件具有丰富的图形界面，而且具有跨平台性。我们可以通过输入一个或者多个有限自动机的状态集，字母表，转换函数，初始状态和终态或者右线性文法，并对生成的自动机进行相应的操作。-Finite automaton input, conversion, identi