/STALGCM-NFA-Equivalence

Given two non-deterministic finite automata, the program can determine whether they are equivalent or not.

Primary LanguagePython

Watchers