Adds isEpsilonFree & isDeterministic methods to FSM

alib/src/automaton/FSM/FSM.cpp

@@ -100,4 +100,36 @@ void FSM::toXML(ostream& out) const {
 	AutomatonPrinter::toXML(*this, out);
 }
+bool FSM::isEpsilonFree() const {
+	for (auto const& transition : transitions) {
+		if (transition.getInput() == Symbol("")) {
+			return false;
+		}
+	}
+	return true;
+}
+
+bool FSM::isDeterministic() const {
+	if (initialStates.size() != 1) {
+		return false;
+	}
+
+	if (!isEpsilonFree()) {
+		return false;
+	}
+
+	for (auto transition = transitions.begin(); transition != transitions.end(); transition++) {
+		auto subTransition = transition;
+		subTransition++;
+		for (; subTransition != transitions.end(); subTransition++) {
+			if (subTransition->getFrom() == transition->getFrom()
+					&& subTransition->getInput() == transition->getInput()) {
+				return false;
+			}
+		}
+	}
+
+	return true;
+}
+
 } /* namespace automaton */

alib/src/automaton/FSM/FSM.h

@@ -33,6 +33,9 @@ public:
 	void removeTransition(const TransitionFSM& transition);
 	const set<TransitionFSM>& getTransitions() const;
+	bool isEpsilonFree() const;
+	bool isDeterministic() const;
+
 	virtual void toXML(ostream& out) const;
 };