Definition:Prefix

Context
Formal Systems

Definition
A string $$T$$ is an initial part of a string $$S$$ if $$T$$ is formed by removing one or more symbols from the end of $$S$$.

The initial part of a string $$S$$ is a substring of $$S$$.