Common
Myhill–Nerode theorem
Necessary and sufficient condition for a formal language to be regular
Myhill–Nerode theorem
In the theory of formal languages, the Myhill–Nerode theorem provides a necessary and sufficient condition for a language to be regular. The theorem is named for John Myhill and Anil Nerode, who proved it at the University of Chicago in 1957..
Open boosters, collect cards and trade them. Free to play.
Play for free