isTotal

Returns true if the given automaton accepts all strings.

The automaton must be deterministic, or this method may return false.

Complexity: linear in number of states and transitions.

fun isTotal(a: Automaton, minAlphabet: Int, maxAlphabet: Int): Boolean

Returns true if the given automaton accepts all strings for the specified min/max range of the alphabet.

The automaton must be deterministic, or this method may return false.

Complexity: linear in number of states and transitions.