refa
refa copied to clipboard
Add support for Brzozowski derivative
https://en.wikipedia.org/wiki/Brzozowski_derivative
Should be relatively easy to implement for NFAs.