Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q1020380> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples per page.
- Q1020380 subject Q8637035.
- Q1020380 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.".
- Q1020380 wikiPageExternalLink tcs-96-2.pdf.
- Q1020380 wikiPageWikiLink Q1077740.
- Q1020380 wikiPageWikiLink Q1137726.
- Q1020380 wikiPageWikiLink Q1436514.
- Q1020380 wikiPageWikiLink Q1536492.
- Q1020380 wikiPageWikiLink Q1569697.
- Q1020380 wikiPageWikiLink Q162252.
- Q1020380 wikiPageWikiLink Q176452.
- Q1020380 wikiPageWikiLink Q18394704.
- Q1020380 wikiPageWikiLink Q2003238.
- Q1020380 wikiPageWikiLink Q21198.
- Q1020380 wikiPageWikiLink Q214526.
- Q1020380 wikiPageWikiLink Q272404.
- Q1020380 wikiPageWikiLink Q291256.
- Q1020380 wikiPageWikiLink Q309558.
- Q1020380 wikiPageWikiLink Q4334568.
- Q1020380 wikiPageWikiLink Q4720939.
- Q1020380 wikiPageWikiLink Q4826392.
- Q1020380 wikiPageWikiLink Q5137398.
- Q1020380 wikiPageWikiLink Q5156431.
- Q1020380 wikiPageWikiLink Q5204896.
- Q1020380 wikiPageWikiLink Q5532429.
- Q1020380 wikiPageWikiLink Q6553530.
- Q1020380 wikiPageWikiLink Q6802493.
- Q1020380 wikiPageWikiLink Q7449293.
- Q1020380 wikiPageWikiLink Q752532.
- Q1020380 wikiPageWikiLink Q816319.
- Q1020380 wikiPageWikiLink Q8637035.
- Q1020380 wikiPageWikiLink Q92672.
- Q1020380 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.".
- Q1020380 label "Büchi automaton".