Changes title of work to more accurately reflect content.
Removes information about NFAs.
Adds the notation S^{\pm} for S \cup S^{-1}
Adds missing reference to basic free group theory fact.