Left quotient
If and are formal languages, then the left quotient of with is the language consisting of strings w such that xw is in for some string x in . In symbols, we write:
You can regard the left quotient as the set of postfixes that complete words from , such that the resulting word is in .
For more details, see right quotient.