search

SPY-Lab / java-fsm-library

GNU Lesser General Public License v3.0
1 stars 1 forks source link

Graph isomorphism algorithm #5

Closed VincenzoArceri closed 6 years ago

VincenzoArceri commented 7 years ago

At the moment, the automata equal operator is an approximation of the real one. We have to implement the graph isomorphism algorithm in order to check the automata equality. This task is assigned to @AndreaPerazzoli.

VincenzoArceri commented 7 years ago

Maybe we don't need the graph isomorphism algorithm as it is enough the language equivalence check. I will check that in the next days.