Implementation of a Finite Automaton Comparator in C++. The input finite automaton can be deterministic or non-deterministic.