Abstract
The customary language-theoretic derivative of a word u with respect to a word v means the deletion of v from the beginning or end of u. We investigate the natural generalization, where v can be deleted from an arbitrary position in u. Apart from general closure and decidability properties, we pay special attention to regular languages, obtaining an exhaustive characterization.
Get full access to this article
View all access options for this article.