automaton

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

every_0_followed_by_1.enfa (342B)

      1 {
      2     "description": "The following NFA accepts any binary string where every '0' in the string is immediately followed by a '1'",
      3     "alphabet": [0, 1],
      4     "states": [0, 1, 2],
      5     "initial_state": 0,
      6     "final_states": [0],
      7     "transition_table": [
      8         [0, [], [], [1, 2]],
      9         [1, [2], [], []],
     10         [2, [], [0], []]
     11     ]
     12 }