automaton

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

even_ones.nfa (262B)


      1 {
      2     "description": "This NFA accepts any binary string with an even number of ones.",
      3     "alphabet": [0, 1],
      4     "states": [0, 1],
      5     "initial_state": 0,
      6     "final_states": [0],
      7     "transition_table": [
      8         [0, [0], [1]],
      9         [1, [1], [0]]
     10     ]
     11 }