Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Myhill–Nerode_theorem> ?p ?o }
Showing triples 1 to 60 of
60
with 100 triples per page.
- Myhill–Nerode_theorem abstract "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 1958 (Nerode 1958).".
- Myhill–Nerode_theorem wikiPageExternalLink Henzinger-Nerode-7.pdf.
- Myhill–Nerode_theorem wikiPageExternalLink CSE396MNT.pdf.
- Myhill–Nerode_theorem wikiPageID "339992".
- Myhill–Nerode_theorem wikiPageLength "6444".
- Myhill–Nerode_theorem wikiPageOutDegree "21".
- Myhill–Nerode_theorem wikiPageRevisionID "702614088".
- Myhill–Nerode_theorem wikiPageWikiLink Anil_Nerode.
- Myhill–Nerode_theorem wikiPageWikiLink Category:Finite_automata.
- Myhill–Nerode_theorem wikiPageWikiLink Category:Formal_languages.
- Myhill–Nerode_theorem wikiPageWikiLink Category:Theorems_in_discrete_mathematics.
- Myhill–Nerode_theorem wikiPageWikiLink Corollary.
- Myhill–Nerode_theorem wikiPageWikiLink DFA_minimization.
- Myhill–Nerode_theorem wikiPageWikiLink Deterministic_finite_automaton.
- Myhill–Nerode_theorem wikiPageWikiLink Empty_string.
- Myhill–Nerode_theorem wikiPageWikiLink Equivalence_class.
- Myhill–Nerode_theorem wikiPageWikiLink Equivalence_relation.
- Myhill–Nerode_theorem wikiPageWikiLink Formal_language.
- Myhill–Nerode_theorem wikiPageWikiLink Introduction_to_Automata_Theory,_Languages,_and_Computation.
- Myhill–Nerode_theorem wikiPageWikiLink John_Myhill.
- Myhill–Nerode_theorem wikiPageWikiLink Necessity_and_sufficiency.
- Myhill–Nerode_theorem wikiPageWikiLink Proceedings_of_the_American_Mathematical_Society.
- Myhill–Nerode_theorem wikiPageWikiLink Proof_by_exhaustion.
- Myhill–Nerode_theorem wikiPageWikiLink Pumping_lemma.
- Myhill–Nerode_theorem wikiPageWikiLink Regular_language.
- Myhill–Nerode_theorem wikiPageWikiLink Tree_automaton.
- Myhill–Nerode_theorem wikiPageWikiLink University_of_Chicago.
- Myhill–Nerode_theorem wikiPageWikiLinkText "Myhill-Nerode Theorem".
- Myhill–Nerode_theorem wikiPageWikiLinkText "Myhill–Nerode equivalence relation".
- Myhill–Nerode_theorem wikiPageWikiLinkText "Myhill–Nerode theorem".
- Myhill–Nerode_theorem wikiPageUsesTemplate Template:Citation.
- Myhill–Nerode_theorem wikiPageUsesTemplate Template:Harv.
- Myhill–Nerode_theorem subject Category:Finite_automata.
- Myhill–Nerode_theorem subject Category:Formal_languages.
- Myhill–Nerode_theorem subject Category:Theorems_in_discrete_mathematics.
- Myhill–Nerode_theorem type Language.
- Myhill–Nerode_theorem type Combinatoric.
- Myhill–Nerode_theorem type Language.
- Myhill–Nerode_theorem type Redirect.
- Myhill–Nerode_theorem type Theorem.
- Myhill–Nerode_theorem comment "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 1958 (Nerode 1958).".
- Myhill–Nerode_theorem label "Myhill–Nerode theorem".
- Myhill–Nerode_theorem sameAs Q422187.
- Myhill–Nerode_theorem sameAs Myhillova-Nerodova_věta.
- Myhill–Nerode_theorem sameAs Satz_von_Myhill-Nerode.
- Myhill–Nerode_theorem sameAs قضیه_مایهیل–نرود.
- Myhill–Nerode_theorem sameAs Théorème_de_Myhill-Nerode.
- Myhill–Nerode_theorem sameAs משפט_מייהיל-נרוד.
- Myhill–Nerode_theorem sameAs Myhill-Nerode_teorem.
- Myhill–Nerode_theorem sameAs Teorema_di_Myhill-Nerode.
- Myhill–Nerode_theorem sameAs マイヒル–ネローデの定理.
- Myhill–Nerode_theorem sameAs Stelling_van_Myhill-Nerode.
- Myhill–Nerode_theorem sameAs Twierdzenie_Myhilla-Nerode’a.
- Myhill–Nerode_theorem sameAs Teorema_de_Myhill-Nerode.
- Myhill–Nerode_theorem sameAs m.01xzcj.
- Myhill–Nerode_theorem sameAs Теорема_Майхилла_—_Нероуда.
- Myhill–Nerode_theorem sameAs Q422187.
- Myhill–Nerode_theorem sameAs 迈希尔-尼罗德定理.
- Myhill–Nerode_theorem wasDerivedFrom Myhill–Nerode_theorem?oldid=702614088.
- Myhill–Nerode_theorem isPrimaryTopicOf Myhill–Nerode_theorem.