main.java

一个java编写的DFA（difinite automata reader） 拥有完备的图形界面和rebustness 另付.dat的测试文件

package window;

import javax.swing.*;

public class Main 
{
	public static void main(String args[])
	{

		Window w = new Window();
		JFrame.setDefaultLookAndFeelDecorated(true);
		w.setTitle("DRA Reader");
		w.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
		w.setSize(800, 300);
		w.setVisible(true);
		w.setResizable(false);
		w.repaint();
	}
}