Markus Frohme

I'm quite fond of this idea as well and I think both @jaxan and @praseodym have pointed out valid requirements/concerns already. I'm not a fan of adding a big dependency...

Regarding parallelism, I was initially wondering if I could somehow use the `Stream#parallel` mechanism to process queries in parallel. However, I figured we don't need this, when we have proper...

I looked into reactive streams a little bit further and start to see the appeal of it. It's nice that they have a separate API (I previously thought the situation...

Dear @wytseoortwijn, I think, this is more of a discussion between partial and total automata. For prefix-closed languages (your automaton accepts the prefix-closed language {epsilon}), the minimal, total automaton representation...

Judging by the comments in projectlombok/lombok#2681 (especially the ones by @pron) granting (instrusive) access to internal classes and properties of JDK classes is to be explicitly white-listed by developers in...

Just for a better understanding: Does the reversed NFA essentially represent the complement language? And is triming essentially a minimization of the NFA?

Don't worry, there is always stuff to do :D. I'll manage to find some time for your contributions. I'm excited to hear about the broader picture. The reversal part makes...

> I don't know much about Mealy machines. But according to this, you can't reverse a Mealy machine in general: https://cs.stackexchange.com/questions/83383/reverse-the-input-and-output-of-a-mealy-machine Yeah, reversal may introduce non-determinism. For FSAs this is...

I took a closer look at the [referenced paper](https://doi.org/10.1109/ISIT.2007.4557131) of the `Minimizer` class. Unfortunately, the abstract states that > We design an algorithm that minimizes irreducible deterministic local automata ......

I skimmed over the Beal/Crochemore paper but find it very hard to understand because it requires a lot of background knowledge about specific sub-classes of automata. I think the code...