Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02759897n
Noun Named Entity
Categories: Theorems in discrete mathematics, Formal languages, Finite automata
EN
Myhill–Nerode theorem  Myhill-Nerode Theorem  distinguishing extension  Myhill-Nerode  Nerode's theorem
EN
In the theory of formal languages, the Myhill–Nerode theorem provides a necessary and sufficient condition for a language to be regular. Wikipedia
Definitions
Relations
Sources
EN
In the theory of formal languages, the Myhill–Nerode theorem provides a necessary and sufficient condition for a language to be regular. Wikipedia
Theorem Wikidata
IS A
theorem
NAMED AFTER
John Myhill
Anil Nerode
Wikipedia
EN
Myhill–Nerode theorem
Wikidata
EN
Myhill–Nerode theorem
Wikipedia Redirections
EN
distinguishing extension, Myhill-Nerode, Myhill-Nerode Theorem, Myhill-Nerode theorem, Nerode's theorem

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License