Bug in toRegex function in Automaton class

SPY-Lab / java-fsm-library

GNU Lesser General Public License v3.0

1 stars 1 forks source link

Bug in toRegex function in Automaton class #8

Open VincenzoArceri opened 7 years ago

VincenzoArceri commented 7 years ago

The toRegex function in certain cases diverges. This is due to the lack of heuristics in the linear equation solver that solve more faster the equations associated to the initial state equation.