135 citations · 302 across the 18 of their papers we have counts for
1 paper · 1 filter
Tomáš Masopust, Markus Krötzsch
An automaton is partially ordered if the only cycles in its transition diagram are self-loops. The expressivity of partially ordered NFAs (poNFAs) can be characterized by the Strau…