{w | w does not contain twice as many 0s as 1s over the alphabet {0, 1}}. Draw state diagram and give formal description.
