/CFL_REACHABILITY

The CFL Reachability problem involves determining whether there is a path in a graph where the concatenation of edge labels along the path forms a string that belongs to a given context-free language.

Primary LanguageC++

Watchers