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 }