Definition:Substring/Proper
Jump to navigation
Jump to search
Definition
Let $\LL$ be a formal language with alphabet $\AA$.
A proper substring of a string $S$ in $\AA$ is a substring of $S$ which is specifically not equal to $S$.