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.