Do all of the following.

1. The alphabet for all these examples is {x,l,z}
   1. 6 or more x followed by one or more of ( either ( l followed by zero or one of l ) or ( z followed by x followed by l ) ) followed by exactly 3 z's followed by exactly 6 l's
   2. all strings that do not contain the substring zllz
   3. starts with 6 or more lxl's, ends with 1 or more zz's, and does not contain the substring lz.

2. For the next questions, use the following signature

   signature lab02 = sig
    type `a seq
    make `a seq
    get `a seq -> `a
    put `a * `a seq -> `a seq
    warp `a seq -> `a seq
    nada `a seq -> bool
end
   1. What is the type of
      1. warp
      2. nada(make)
      3. get (make)
      4. get (warp)
      5. get (put )
      6. put (warp(put (1, lab02.make)),lab02.make)
      7. put (nada(make)), make)

      where the lab02.xxx notation means that a new instance of the module is used every time -- in other words, the `a are independent

   2. What is the value (if any) of
      1. put (2, put (3, make))
      2. nada(make)