1# Input: A binary number.
2# Accepts if the given number has an even amout of 0s
3# or doesn't contain any zeros at all.
4
5start: q1;
6accept: q0;
7
8q1 {
9 1 > 1 => q1;
10 0 > 0 => q2;
11
12 $ | $ => q0;
13}
14
15q2 {
16 1 > 1 => q2;
17 0 > 0 => q1;
18}