2
It should be possible to rewrite a non-recursive CFG [1] as an acyclic NFA, since non-recursive CFGs represent finite languages (and thus regular a fortiori). Is there an explicit algorithm to rewrite an ε-free non-recursive grammar into an equivalent ε-free NFA? My instinct is to put the grammar...