public boolean isStartSymbol(String variable, Automaton automaton) {
		State startState = automaton.getInitialState();
		State[] finalStates = automaton.getFinalStates();
		if (finalStates.length > 1) {
			// System.err.println("MORE THAN ONE FINAL STATE");
			return false;
		}
		State finalState = finalStates[0];
		String startSymbol = LEFT_PAREN.concat(startState.getName().concat(
				BOTTOM_OF_STACK
						.concat(finalState.getName().concat(RIGHT_PAREN))));
		if (variable.equals(startSymbol))
			return true;
		return false;
	}