S --> TT | U T --> 0T | T0 | 1 U --> 0U00 | 1
A --> BAB | B | epsilon B --> 00 | espilon
A --> BAB | B | BC B --> 00 | epsilon C --> AA