start: ("0" | "1")* "0"