Η αρχή χαρακτήρες μιας συμβολοσειράς. Τυπικότερα μια συμβολοσειρά v∈Σ ^* είναι ένα πρόθεμα της μια συμβολοσειρά u∈Σ ^* αν σας = vu» για κάποια συμβολοσειρά u' ∈Σ ^*.