Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Omega-regular_language> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Omega-regular_language abstract "The ω-regular languages are a class of ω-languages which generalize the definition of regular languages to infinite words. Büchi showed in 1962 that ω-regular languages are precisely the ones definable in a particular monadic second-order logic called S1S.".
- Omega-regular_language wikiPageID "3262889".
- Omega-regular_language wikiPageLength "3984".
- Omega-regular_language wikiPageOutDegree "10".
- Omega-regular_language wikiPageRevisionID "607153780".
- Omega-regular_language wikiPageWikiLink Büchi_automata.
- Omega-regular_language wikiPageWikiLink Büchi_automaton.
- Omega-regular_language wikiPageWikiLink Category:Formal_languages.
- Omega-regular_language wikiPageWikiLink Empty_string.
- Omega-regular_language wikiPageWikiLink Jan_van_Leeuwen.
- Omega-regular_language wikiPageWikiLink Omega_language.
- Omega-regular_language wikiPageWikiLink Regular_language.
- Omega-regular_language wikiPageWikiLink S1S.
- Omega-regular_language wikiPageWikiLinkText "ω-regular languages".
- Omega-regular_language wikiPageWikiLinkText "Omega-regular language".
- Omega-regular_language wikiPageWikiLinkText "Omega-regular_language".
- Omega-regular_language wikiPageWikiLinkText "equally expressive".
- Omega-regular_language wikiPageWikiLinkText "regular ω-language".
- Omega-regular_language wikiPageWikiLinkText "regular ω-languages".
- Omega-regular_language wikiPageWikiLinkText "ω-regular languages".
- Omega-regular_language hasPhotoCollection Omega-regular_language.
- Omega-regular_language subject Category:Formal_languages.
- Omega-regular_language hypernym Class.
- Omega-regular_language type Language.
- Omega-regular_language type Combinatoric.
- Omega-regular_language type Language.
- Omega-regular_language comment "The ω-regular languages are a class of ω-languages which generalize the definition of regular languages to infinite words. Büchi showed in 1962 that ω-regular languages are precisely the ones definable in a particular monadic second-order logic called S1S.".
- Omega-regular_language label "Omega-regular language".
- Omega-regular_language sameAs Ω-reguläre_Sprache.
- Omega-regular_language sameAs Linguagem_Omega-regular.
- Omega-regular_language sameAs m.0921hx.
- Omega-regular_language sameAs Q309558.
- Omega-regular_language sameAs Q309558.
- Omega-regular_language wasDerivedFrom Omega-regular_language?oldid=607153780.
- Omega-regular_language isPrimaryTopicOf Omega-regular_language.