determinizable
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
determinize + -able
Adjective[edit]
determinizable (not comparable)
- Capable of being determinized, or made deterministic.
- 2016, Benedikt Bollig, “One-Counter Automata with Counter Visibility”, in arXiv[1]:
- In fact, we show that OCAs with counter visibility are effectively determinizable and closed under all boolean operations.