Open jakobnissen opened 1 year ago
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.
reduce_nodes(::NFA)
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.