Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Myhill–Nerode_theorem> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items 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 wikiPageID "339992".
- Myhill–Nerode_theorem wikiPageRevisionID "593865950".
- Myhill–Nerode_theorem subject Category:Formal_languages.
- Myhill–Nerode_theorem subject Category:Theorems_in_discrete_mathematics.
- 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 label "Satz von Myhill-Nerode".
- Myhill–Nerode_theorem label "Stelling van Myhill-Nerode".
- Myhill–Nerode_theorem label "Teorema de Myhill-Nerode".
- Myhill–Nerode_theorem label "Teorema di Myhill-Nerode".
- Myhill–Nerode_theorem label "Théorème de Myhill-Nerode".
- Myhill–Nerode_theorem label "Twierdzenie Myhilla-Nerode'a".
- Myhill–Nerode_theorem label "Теорема Майхилла — Нероуда".
- Myhill–Nerode_theorem label "マイヒル-ネローデの定理".
- Myhill–Nerode_theorem label "迈希尔－尼罗德定理".
- Myhill–Nerode_theorem sameAs Myhill%E2%80%93Nerode_theorem.
- Myhill–Nerode_theorem sameAs Myhillova-Nerodova_věta.
- Myhill–Nerode_theorem sameAs Satz_von_Myhill-Nerode.
- Myhill–Nerode_theorem sameAs Théorème_de_Myhill-Nerode.
- 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 Q422187.
- Myhill–Nerode_theorem sameAs Q422187.
- Myhill–Nerode_theorem wasDerivedFrom Myhill–Nerode_theorem?oldid=593865950.