public Serializable decode(File file, Map parameters) {
		if (file.getName().endsWith(GRAMMAR_SUFFIX))
			return readGrammar(file);
		if (file.getName().endsWith(REGULAR_EXPRESSION_SUFFIX))
			return readRE(file);
		return readAutomaton(file);
	}