Prefix (formal languages)