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 , such that the resulting word is in .
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...
.