Matches in DBpedia 2014 for { <http://dbpedia.org/resource/McNaughton's_Theorem> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- McNaughton's_Theorem abstract "In automata theory, McNaughton's theorem refers to a theorem that asserts that the set of ω-regular languages is identical to the set of languages recognizable by deterministic Muller automata.This theorem is proven by supplying an algorithm to construct a deterministic Muller automaton for any ω-regular language and vice versa.This theorem has many important consequences.Since Büchi automata and ω-regular languages are equally expressive, the theorem implies that Büchi automata and deterministic Muller automata are equally expressive.Since complementation of deterministic Muller automata is trivial, the theorem implies that Büchi automata/ω-regular languages are closed under complementation.".
- McNaughton's_Theorem wikiPageID "28167114".
- McNaughton's_Theorem wikiPageRevisionID "597640697".
- McNaughton's_Theorem hasPhotoCollection McNaughton's_Theorem.
- McNaughton's_Theorem subject Category:Automata_theory.
- McNaughton's_Theorem comment "In automata theory, McNaughton's theorem refers to a theorem that asserts that the set of ω-regular languages is identical to the set of languages recognizable by deterministic Muller automata.This theorem is proven by supplying an algorithm to construct a deterministic Muller automaton for any ω-regular language and vice versa.This theorem has many important consequences.Since Büchi automata and ω-regular languages are equally expressive, the theorem implies that Büchi automata and deterministic Muller automata are equally expressive.Since complementation of deterministic Muller automata is trivial, the theorem implies that Büchi automata/ω-regular languages are closed under complementation.".
- McNaughton's_Theorem label "McNaughton's Theorem".
- McNaughton's_Theorem label "Teorema de McNaughton".
- McNaughton's_Theorem sameAs Teorema_de_McNaughton.
- McNaughton's_Theorem sameAs m.0cmdmyp.
- McNaughton's_Theorem sameAs Q6802493.
- McNaughton's_Theorem sameAs Q6802493.
- McNaughton's_Theorem wasDerivedFrom McNaughton's_Theorem?oldid=597640697.
- McNaughton's_Theorem isPrimaryTopicOf McNaughton's_Theorem.