Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Büchi_automaton> ?p ?o }
Showing triples 1 to 73 of
73
with 100 triples per page.
- Büchi_automaton abstract "In computer science and automata theory, a Büchi automaton is a type of ω-automaton, which extends a finite automaton to infinite inputs. It accepts an infinite input sequence if there exists a run of the automaton that visits (at least) one of the final states infinitely often. Büchi automata recognize the omega-regular languages, the infinite word version of regular languages. It is named after the Swiss mathematician Julius Richard Büchi who invented this kind of automaton in 1962.Büchi automata are often used in model checking as an automata-theoretic version of a formula in linear temporal logic.".
- Büchi_automaton wikiPageExternalLink tcs-96-2.pdf.
- Büchi_automaton wikiPageID "344912".
- Büchi_automaton wikiPageLength "15898".
- Büchi_automaton wikiPageOutDegree "45".
- Büchi_automaton wikiPageRevisionID "674755668".
- Büchi_automaton wikiPageWikiLink Automata_construction.
- Büchi_automaton wikiPageWikiLink Automata_theory.
- Büchi_automaton wikiPageWikiLink Category:Automata_theory.
- Büchi_automaton wikiPageWikiLink Category:Model_checking.
- Büchi_automaton wikiPageWikiLink Category:Models_of_computation.
- Büchi_automaton wikiPageWikiLink Closed_under.
- Büchi_automaton wikiPageWikiLink Closure_(mathematics).
- Büchi_automaton wikiPageWikiLink Co-Büchi_automaton.
- Büchi_automaton wikiPageWikiLink Complementation_of_Büchi_automaton.
- Büchi_automaton wikiPageWikiLink Computer_science.
- Büchi_automaton wikiPageWikiLink DFA_minimization.
- Büchi_automaton wikiPageWikiLink Depth-first_search.
- Büchi_automaton wikiPageWikiLink Directed_graph.
- Büchi_automaton wikiPageWikiLink Finite-state_machine.
- Büchi_automaton wikiPageWikiLink Finite_automaton.
- Büchi_automaton wikiPageWikiLink Finite_set.
- Büchi_automaton wikiPageWikiLink Generalized_Büchi_automaton.
- Büchi_automaton wikiPageWikiLink Julius_Richard_Büchi.
- Büchi_automaton wikiPageWikiLink Kripke_structure.
- Büchi_automaton wikiPageWikiLink Kripke_structure_(model_checking).
- Büchi_automaton wikiPageWikiLink Linear_temporal_logic.
- Büchi_automaton wikiPageWikiLink Linear_temporal_logic_to_Büchi_automaton.
- Büchi_automaton wikiPageWikiLink McNaughtons_Theorem.
- Büchi_automaton wikiPageWikiLink Minimizing_deterministic_finite_automaton.
- Büchi_automaton wikiPageWikiLink Minimizing_nondeterministic_finite_automaton.
- Büchi_automaton wikiPageWikiLink Model_checking.
- Büchi_automaton wikiPageWikiLink Muller_automaton.
- Büchi_automaton wikiPageWikiLink Omega-regular_language.
- Büchi_automaton wikiPageWikiLink Omega-regular_languages.
- Büchi_automaton wikiPageWikiLink Omega_language.
- Büchi_automaton wikiPageWikiLink Rabin_automaton.
- Büchi_automaton wikiPageWikiLink Regular_language.
- Büchi_automaton wikiPageWikiLink Regular_languages.
- Büchi_automaton wikiPageWikiLink Safras_construction.
- Büchi_automaton wikiPageWikiLink Semi-deterministic_Büchi_automaton.
- Büchi_automaton wikiPageWikiLink Strongly_connected_component.
- Büchi_automaton wikiPageWikiLink W.l.o.g..
- Büchi_automaton wikiPageWikiLink Weak_Büchi_automaton.
- Büchi_automaton wikiPageWikiLink Without_loss_of_generality.
- Büchi_automaton wikiPageWikiLink Ω-automaton.
- Büchi_automaton wikiPageWikiLink Ω-regular_language.
- Büchi_automaton wikiPageWikiLink File:Buchi_non_deterministic_example.svg.
- Büchi_automaton wikiPageWikiLinkText "Büchi automata".
- Büchi_automaton wikiPageWikiLinkText "Büchi automaton".
- Büchi_automaton wikiPageWikiLinkText "closure properties of Büchi automata".
- Büchi_automaton wikiPageWikiLinkText "easy construction".
- Büchi_automaton wikiPageWikiLinkText "here".
- Büchi_automaton hasPhotoCollection Büchi_automaton.
- Büchi_automaton wikiPageUsesTemplate Template:Cite_book.
- Büchi_automaton wikiPageUsesTemplate Template:Cite_paper.
- Büchi_automaton wikiPageUsesTemplate Template:Formal_languages_and_grammars.
- Büchi_automaton wikiPageUsesTemplate Template:Reflist.
- Büchi_automaton subject Category:Automata_theory.
- Büchi_automaton subject Category:Model_checking.
- Büchi_automaton subject Category:Models_of_computation.
- Büchi_automaton comment "In computer science and automata theory, a Büchi automaton is a type of ω-automaton, which extends a finite automaton to infinite inputs. It accepts an infinite input sequence if there exists a run of the automaton that visits (at least) one of the final states infinitely often. Büchi automata recognize the omega-regular languages, the infinite word version of regular languages.".
- Büchi_automaton label "Büchi automaton".
- Büchi_automaton sameAs Büchi-Automat.
- Büchi_automaton sameAs Automate_de_Büchi.
- Büchi_automaton sameAs Automat_Büchiego.
- Büchi_automaton sameAs Autômato_de_Büchi.
- Büchi_automaton sameAs m.01ylgd.
- Büchi_automaton sameAs บือคีออโตมาตอน.
- Büchi_automaton sameAs Q1020380.
- Büchi_automaton sameAs Q1020380.
- Büchi_automaton wasDerivedFrom Büchi_automaton?oldid=674755668.
- Büchi_automaton isPrimaryTopicOf Büchi_automaton.