Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Star-free_language> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- Star-free_language abstract "A regular language is said to be star-free if it can be described by a regular expression constructed from the letters of the alphabet, the empty set symbol, all boolean operators – including complementation – and concatenation but no Kleene star. For instance, the language of words over the alphabet that do not have consecutive a's can be defined by , where denotes the complement of a subset of . The condition is equivalent to having generalized star height zero.Marcel-Paul Schützenberger characterized star-free languages as those with aperiodic syntactic monoids. They can also be characterized logically as languages definable in FO[<], the monadic first-order logic over the natural numbers with the less-than relation, as the counter-free languages and as languages definable in linear temporal logic.All star-free languages are in uniform AC0.".
- Star-free_language wikiPageExternalLink DG-WT08.pdf.
- Star-free_language wikiPageID "4922792".
- Star-free_language wikiPageRevisionID "599713262".
- Star-free_language hasPhotoCollection Star-free_language.
- Star-free_language subject Category:Automata_theory.
- Star-free_language subject Category:Formal_languages.
- Star-free_language subject Category:Logic_in_computer_science.
- Star-free_language type Abstraction100002137.
- Star-free_language type Communication100033020.
- Star-free_language type FormalLanguages.
- Star-free_language type Language106282651.
- Star-free_language comment "A regular language is said to be star-free if it can be described by a regular expression constructed from the letters of the alphabet, the empty set symbol, all boolean operators – including complementation – and concatenation but no Kleene star. For instance, the language of words over the alphabet that do not have consecutive a's can be defined by , where denotes the complement of a subset of .".
- Star-free_language label "Langage sans étoile".
- Star-free_language label "Star-free language".
- Star-free_language sameAs Langage_sans_étoile.
- Star-free_language sameAs m.0cvcd_.
- Star-free_language sameAs Q3217203.
- Star-free_language sameAs Q3217203.
- Star-free_language sameAs Star-free_language.
- Star-free_language wasDerivedFrom Star-free_language?oldid=599713262.
- Star-free_language isPrimaryTopicOf Star-free_language.