private static int dfaMenu(DFA dfa){
		String menu =	dfa.toString()+"\n\n"+
				"1. Enter Words\n"+
				"2. Print out Alphabet\n"+
				"3. Print GRAIL transition table\n"+
				"4. Back\n"+alwaysMenu();
		Scanner dfaScan = new Scanner(System.in);
		int input;
		String answer;
		do{
			System.out.println(menu);
			input = dfaScan.nextInt();
			switch(input){
			case 1:
				System.out.print("Please enter a word: ");
				dfaScan.nextLine();
				String word = dfaScan.nextLine();
				System.out.println();
				System.out.println(dfa.containsWord(word));
				break;
			case 2:
				System.out.println(dfa.alphabet);
				break;
			case 3:
				System.out.println(dfa.grailFormat());
				break;
			default:
				break;
			}
		}while(input!=0 && input != 4);
		//dfaScan.close();
		return input;
	}