Left quotient of a formal language

ID: left-quotient-of-a-formal-language

For a word and a formal language , the left quotient is the possible continuation language after the prefix . Two prefixes have the same left quotient exactly when they are Myhill-Nerode equivalent. For a regular language only finitely many distinct left quotients occur.

New to topics? Read the docs here!