Since
(0+1)(0+1)*=(0+1)+ => ((0+1)+)*=(0+1)*
Therefore resulting grammar will be like below
(0+1)*00(0+1)*=====> Contains atleast two consecutive zeros
L=( (0 + 1) (0 + 1)*)* 00 (0 + 1)*
L has all substring with atleast two zeros
64.3k questions
77.9k answers
244k comments
80.0k users