Practice proofs for the final:
Book of Proof
Pages 93, 102, 110 and 118
Solutions for odd numbered exercises are at the end of the book
Some problems with solutions related to NFA, NFA-epsilon can be
found
here
Notice that in some books the "+" in regular expressions is denoted
with a small U (union).