Skip to content

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.