automaton

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

ending_with_01.enfa (297B)

      1 {
      2     "description": "The following NFA accepts any binary string ending with '01'",
      3     "alphabet": [0, 1],
      4     "states": [0, 1, 2],
      5     "initial_state": 0,
      6     "final_states": [2],
      7     "transition_table": [
      8         [0, [0, 1], [0], []],
      9         [1, [], [2], []],
     10         [2, [], [], []]
     11     ]
     12 }