school

thing1's amazing school repo
Log | Files | Refs | Submodules | README

sheet (588B)


      1 RE | req
      2 
      3 (1|0) | 1 or 0
      4 1+ | all 1's
      5 (1|0)+ | all binary strings
      6 (1|0)*1 | binary string ending with 1
      7 1(1|0)* | binary string starting with 1
      8 (1|0)*00 | binary string ending 00
      9 (0|1)*1(0|1)*1(0|1)*(0|1) | binary string with at least 3 1's, with the ones being between 4 binary strings that can contain anything and can be empty, exepct at the end, where it is a final 1, or 0, and nothing else
     10 111*((0|1)*|111)*(111)* | binary string with at least 3 consecutive 1's
     11 (0|1)*110(0|1)* | any binary string with 110 in the middle of it (or the start or end if the first terms occur 0 times)