added a definition and fixed some typos

also already changed the notation of the empty sequence () with \epsilon which independend of gaps seems to me like the better term.
anything else as discussed