determinizable en · ADJ
Etymology
From determinize + -able.
Meanings
-
(not-comparable) Capable of being determinized, or made deterministic.
In fact, we show that OCAs with counter visibility are effectively determinizable and closed under all boolean operations.
2016, Benedikt Bollig, “One-Counter Automata with Counter Visibility”, in arXiv: