; the automaton accepts if the number of 1's is odd
1 var 1 state
2 var 1 input
3 const 1 1
4 eq 1 1 3
5 root 1 4
6 cond 1 1 1 2
7 next 1 1 6