Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Omega-regular_language> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items 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 wikiPageRevisionID "544212326".
- Omega-regular_language hasPhotoCollection Omega-regular_language.
- Omega-regular_language subject Category:Formal_languages.
- Omega-regular_language type Abstraction100002137.
- Omega-regular_language type Communication100033020.
- Omega-regular_language type FormalLanguages.
- Omega-regular_language type Language106282651.
- 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 "Linguagem Omega-regular".
- Omega-regular_language label "Omega-regular language".
- Omega-regular_language label "Ω-reguläre Sprache".
- 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 sameAs Omega-regular_language.
- Omega-regular_language wasDerivedFrom Omega-regular_language?oldid=544212326.
- Omega-regular_language isPrimaryTopicOf Omega-regular_language.