Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Automata_construction> ?p ?o }
Showing triples 1 to 31 of
31
with 100 triples per page.
- Automata_construction abstract "In automata theory, automata construction is an important mathematical technique used to demonstrate the existence of an automaton with a certain desired property. Very often, it is presented as an algorithm that takes a desired property as input and produces as output an automaton with the property.Many hard problems in automata theory involve finding the right construction of an automaton such that the problem can be answered. For example, the famous construction in McNaughton's Theorem answered the question if non-deterministic Büchi automaton can always be translated into a deterministic Muller automaton.".
- Automata_construction wikiPageID "28179654".
- Automata_construction wikiPageLength "1130".
- Automata_construction wikiPageOutDegree "10".
- Automata_construction wikiPageRevisionID "426034962".
- Automata_construction wikiPageWikiLink Algorithm.
- Automata_construction wikiPageWikiLink Automata_theory.
- Automata_construction wikiPageWikiLink Büchi_automaton.
- Automata_construction wikiPageWikiLink Category:Automata_theory.
- Automata_construction wikiPageWikiLink Deterministic_finite_automaton.
- Automata_construction wikiPageWikiLink McNaughtons_Theorem.
- Automata_construction wikiPageWikiLink Muller_automaton.
- Automata_construction wikiPageWikiLink Nondeterministic_finite_automaton.
- Automata_construction wikiPageWikiLink Powerset_construction.
- Automata_construction wikiPageWikiLinkText "automata construction".
- Automata_construction wikiPageWikiLinkText "construct".
- Automata_construction wikiPageWikiLinkText "constructed".
- Automata_construction wikiPageWikiLinkText "construction".
- Automata_construction wikiPageWikiLinkText "converting".
- Automata_construction hasPhotoCollection Automata_construction.
- Automata_construction subject Category:Automata_theory.
- Automata_construction hypernym Technique.
- Automata_construction type Software.
- Automata_construction comment "In automata theory, automata construction is an important mathematical technique used to demonstrate the existence of an automaton with a certain desired property. Very often, it is presented as an algorithm that takes a desired property as input and produces as output an automaton with the property.Many hard problems in automata theory involve finding the right construction of an automaton such that the problem can be answered.".
- Automata_construction label "Automata construction".
- Automata_construction sameAs ساختمان_ماشینها.
- Automata_construction sameAs m.0cnzm5r.
- Automata_construction sameAs Q4826392.
- Automata_construction sameAs Q4826392.
- Automata_construction wasDerivedFrom Automata_construction?oldid=426034962.
- Automata_construction isPrimaryTopicOf Automata_construction.