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
.