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
.