https://en.wikipedia.org/wiki/Quotient_of_a_formal_language Here is a simple construction for the left quotient for NFAs: https://cs.stackexchange.com/a/155475/125991