Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Complementation_of_Büchi_automaton> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- Complementation_of_Büchi_automaton abstract "In automata theory, complementation of a Büchi automaton is construction of another Büchi automaton that recognizes complement of the ω-regular language recognized by the given Büchi automaton. Existence of algorithms for this construction proves that the set of ω-regular languages and Büchi automata are closed under complementation.This construction is particularly hard relative to the constructions for the other closure properties of Büchi automata. The first construction was presented by Büchi in 1962. Later, other constructions were developed that enabled efficient and optimal complementation.".
- Complementation_of_Büchi_automaton wikiPageID "31683785".
- Complementation_of_Büchi_automaton wikiPageRevisionID "514395544".
- Complementation_of_Büchi_automaton subject Category:Automata_theory.
- Complementation_of_Büchi_automaton comment "In automata theory, complementation of a Büchi automaton is construction of another Büchi automaton that recognizes complement of the ω-regular language recognized by the given Büchi automaton. Existence of algorithms for this construction proves that the set of ω-regular languages and Büchi automata are closed under complementation.This construction is particularly hard relative to the constructions for the other closure properties of Büchi automata.".
- Complementation_of_Büchi_automaton label "Complementation of Büchi automaton".
- Complementation_of_Büchi_automaton sameAs Complementation_of_B%C3%BCchi_automaton.
- Complementation_of_Büchi_automaton sameAs Q5156431.
- Complementation_of_Büchi_automaton sameAs Q5156431.
- Complementation_of_Büchi_automaton wasDerivedFrom Complementation_of_Büchi_automaton?oldid=514395544.