14 citations · 15 across the 4 of their papers we have counts for
1 paper · 1 filter
Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz
We study three levels in a hierarchy of nondeterminism: A nondeterministic automaton A is determinizable by pruning (DBP) if we can obtain a deterministic automaton equ…