automata: deterministic star
Currently we have two implementations of automaton.star
:
-
general
, which introduces spontaneous transitions -
standard
, which produces a standard output for standard inputs
Add another one:
-
deterministic
, which produces a deterministic output for deterministic inputs.
Bench this.