Markus Frohme

icon company TU Dortmund University icon location Dortmund, Germany icon location Postdoc at the Chair of Programming Systems, Maintainer of AutomataLib & LearnLib at @LearnLib

Results 13 comments of Markus Frohme

Add trim and reverse methods for NFAs

> Strange! Actually, originally I was reading a 2008 version of the Beal-Crochemore paper: https://hal.science/hal-00620274/document Oh wow, the DOI link in the documentation actually links to a different paper than...

PaigeTarjanMinimization.minimizeDFA does not guarantee minimal result

With #73 merged, you may now use `DFAs#trim` to get an even more compressed view on the automaton (at the cost of introducing partiality).

Use serializer from `createContextual` as base deserializer

We recently ran into the same issue again when upgrading our Wildfly stack (and switching to jackson-json-crypto 2.2.0). I noticed that the PR was no longer mergable so I rebased...