Method Minus
Minus(Automaton, Automaton)
Returns a (deterministic) automaton that accepts the intersection of the
language of a1 and the complement of the language of
a2. As a side-effect, the automata may be determinized, if not
already deterministic.
Complexity: quadratic in number of states (if already deterministic).
Declaration
public static Automaton Minus(Automaton a1, Automaton a2)Parameters
| Type | Name | Description |
|---|---|---|
| Automaton | a1 | |
| Automaton | a2 |
Returns
| Type | Description |
|---|---|
| Automaton |
