automaton

An automaton library & basic programs written in Rust
git clone git://git.ethandl.dev/automaton
Log | Files | Refs | README

dual_finals_interesting.dfa (405B)

      1 {
      2     "description": "This DFA has 2 final states and has some interesting behaviour. It is indescribable. See the diagram to best understand it.",
      3     "alphabet": [0, 1],
      4     "states": [1, 2, 3, 4, 5, 6],
      5     "initial_state": 1,
      6     "final_states": [5, 6],
      7     "transition_table": [
      8         [1, 6, 2],
      9         [2, 3, 1],
     10         [3, 2, 4],
     11         [4, 5, 3],
     12         [5, 4, 6],
     13         [6, 1, 6]
     14     ]
     15 }