User:Jshflynn/Definition:Right quotient language

Definition

Let $L$ and $K$ be two languages over an alphabet $\Sigma$.

Then the right quotient of $L$ by $K$ is denoted $LK^{-1}$ and is defined as the set:

$$\{x \in \Sigma^*: x \circ y \in L \text{ for some } y \in K \}$$

Where $\circ$ denotes concatenation and $\Sigma^*$ denotes the Kleene star of $\Sigma$.