Equivalence Checker: allows to compare pairs of automatons as regards to many definitions of equivalence (Bisimulation, Branching bisimulation, Decorated traces)
Formal language | Formal concept analysis | Unicode equivalence | Turing equivalence | Equivalence relation | model checking | Mass–energy equivalence | mass–energy equivalence | Formal verification | Formal theory | formal language | Formal equivalence checking | Austronesian Formal Linguistics Association |