Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Muller_automaton> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- Muller_automaton abstract "In automata theory, a Muller automaton is a type of an ω-automaton. The acceptance condition separates a Muller automaton from other ω-automata.The Muller automata is defined using Muller acceptance condition, i.e. the set of all states visited infinitely often must be an element of the acceptance set. Both deterministic and non-deterministic Muller automata recognize the ω-regular languages.".
- Muller_automaton wikiPageExternalLink Venema.TheModalMUCalculus.pdf.
- Muller_automaton wikiPageExternalLink mu2008.pdf.
- Muller_automaton wikiPageExternalLink lect4.pdf.
- Muller_automaton wikiPageID "9626451".
- Muller_automaton wikiPageRevisionID "544700735".
- Muller_automaton hasPhotoCollection Muller_automaton.
- Muller_automaton subject Category:Automata_theory.
- Muller_automaton comment "In automata theory, a Muller automaton is a type of an ω-automaton. The acceptance condition separates a Muller automaton from other ω-automata.The Muller automata is defined using Muller acceptance condition, i.e. the set of all states visited infinitely often must be an element of the acceptance set. Both deterministic and non-deterministic Muller automata recognize the ω-regular languages.".
- Muller_automaton label "Automate de Muller".
- Muller_automaton label "Muller automaton".
- Muller_automaton label "Muller-Automat".
- Muller_automaton sameAs Muller-Automat.
- Muller_automaton sameAs Automate_de_Muller.
- Muller_automaton sameAs m.02pm8xz.
- Muller_automaton sameAs Q1436514.
- Muller_automaton sameAs Q1436514.
- Muller_automaton wasDerivedFrom Muller_automaton?oldid=544700735.
- Muller_automaton isPrimaryTopicOf Muller_automaton.