public String grailFormat(){
		String output = "Grail Transitions:\n";
		for(State s: startStates){
			output += "(START) |- "+s.getName()+"\n";
		}
		for(State s: states){
			for(String symbol: alphabet){
				output += s.getName() + " " + symbol + " ";
				for(State q: s.transition(symbol))
					output += q.getName();
				output += "\n";
			}
		}
		for(State s: finalStates){
			output += s.getName()+" -| (FINAL)"+"\n";
		}
		return output;
	}