This project provides a Node.js tool for testing equivalence between two finite automata. The tool uses the Hopcroft-Karp algorithm and its modifications to perform the equivalence test targeting optimal performance.
This project is licensed under the MIT License. See the LICENSE file for details.