refa
refa copied to clipboard
Add left and right quotients
https://en.wikipedia.org/wiki/Quotient_of_a_formal_language
Here is a simple construction for the left quotient for NFAs: https://cs.stackexchange.com/a/155475/125991