Is L={0,1}* without strings that start with 00 decidable? Say you have a language L = "{0,1}* without strings that start with 00". How do you prove this is decidable?  I'm drawing a blank on this one.
so turns out its decidable because its the regular expression $L = 01(0|1)$*