The beginning characters of a string. More formally a string v∈Σ^* is a prefix of a string u∈Σ^* if u=vu' for some string u'∈Σ^*.