Remove NFA nodes more aggressively
Opened this issue · 0 comments
jakobnissen commented
Currently, an NFA can contain an eps edge leading to a node leading to an eps edge. This is unnecessary.
Define reduce_nodes(::NFA)
such that every node has epsilon edges directly to their entire epsilon closure.