automata: deterministic multiplication
Currently we have two implementations of automaton.multiply
:
-
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. Make it work for all the versions of multiply, including the repeated multiplication. This requires that #37 (closed) be completed.