# Tag Info

All sources agree on the definition of right quotient: $L_1/L_2$ is the set of words which can be extended by a word in $L_2$ to become a word in $L_1$. In other words, $w \in L_1/L_2$ if there exists $x \in L_2$ such that $wx \in L_1$. If $L_1$ is regular and $L_2$ is any language then $L_1/L_2$ is regular. For many classes of languages, if $L_1$ belongs ...