even_ones.dfa (254B)
1 { 2 "description": "This DFA 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 }