Right quotient
The right quotient (or simply quotient) of a formal language with a formal language
is the language consisting of strings w such that wx is in
for some string x in
. In symbols, we write:
In other words, each string in is the prefix of a string
in
, with the remainder of the word being a string in
.