1# Input: A binary number.2# Accepts if the given number has an even amout of 0s3# or doesn't contain any zeros at all.45start: q1;6accept: q0;78q1 {9 1 > 1 => q1;10 0 > 0 => q2;1112 $ | $ => q0;13}1415q2 {16 1 > 1 => q2;17 0 > 0 => q1;18}