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!