Definition:Substring/Proper
< Definition:Substring(Redirected from Definition:Proper Substring)
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$.