complement

fun complement(a: Automaton, determinizeWorkLimit: Int): Automaton

Returns a (deterministic) automaton that accepts the complement of the language of the given automaton.

Complexity: linear in number of states if already deterministic and exponential otherwise.

Parameters

determinizeWorkLimit

maximum effort to spend determinizing the automaton. Set higher to allow more complex queries and lower to prevent memory exhaustion. .DEFAULT_DETERMINIZE_WORK_LIMIT is a good starting default.