
Left quotient
Encyclopedia
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
.







You can regard the left quotient as the set of postfixes that complete words from


For more details, see right quotient
Right quotient
The right quotient of a formal language L_1 with a formal language L_2 is the language consisting of strings w such that wx is in L_1 for some string x in L_2...
.