| Property |
Value |
| dbo:abstract
|
- En informatique théorique, et notamment en théorie des langages formels, un langage rationnel est sans étoile (star-free language en anglais) s'il peut être obtenu à partir des lettres d'un alphabet et de l'ensemble vide par un ensemble fini d'opérations ensemblistes d'union, intersection, de complémentaire et de concaténations, mais sans utiliser l'opération étoile. Par exemple, l'ensemble de tous les mots est le complémentaire de l'ensemble vide : c'est donc un langage sans étoile. Le langage des mots sur l'alphabet qui ne contiennent pas deux lettres consécutives est aussi un langage sans étoile. En effet, c'est l'ensemble défini par , où dénote le complément d'une partie de . (fr)
- En informatique théorique, et notamment en théorie des langages formels, un langage rationnel est sans étoile (star-free language en anglais) s'il peut être obtenu à partir des lettres d'un alphabet et de l'ensemble vide par un ensemble fini d'opérations ensemblistes d'union, intersection, de complémentaire et de concaténations, mais sans utiliser l'opération étoile. Par exemple, l'ensemble de tous les mots est le complémentaire de l'ensemble vide : c'est donc un langage sans étoile. Le langage des mots sur l'alphabet qui ne contiennent pas deux lettres consécutives est aussi un langage sans étoile. En effet, c'est l'ensemble défini par , où dénote le complément d'une partie de . (fr)
|
| dbo:namedAfter
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 9313 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1965 (xsd:integer)
- 1968 (xsd:integer)
- 1971 (xsd:integer)
- 2008 (xsd:integer)
|
| prop-fr:auteur
|
- Volker Diekert et Paul Gastin (fr)
- Volker Diekert et Paul Gastin (fr)
|
| prop-fr:auteursOuvrage
|
- Jörg Flum, Erich Grädel et Thomas Wilke (fr)
- Jörg Flum, Erich Grädel et Thomas Wilke (fr)
|
| prop-fr:colonnes
| |
| prop-fr:id
|
- DiekertGastin2008 (fr)
- Kamp1968 (fr)
- DiekertGastin2008 (fr)
- Kamp1968 (fr)
|
| prop-fr:isbn
|
- 978 (xsd:integer)
- 9789053565766 (xsd:decimal)
|
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:lccn
| |
| prop-fr:lieu
|
- Cambridge (fr)
- Cambridge (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:nom
| |
| prop-fr:numéro
| |
| prop-fr:pages
| |
| prop-fr:pagesTotales
| |
| prop-fr:passage
| |
| prop-fr:prénom
|
- Robert (fr)
- Seymour (fr)
- Marcel-Paul (fr)
- Robert (fr)
- Seymour (fr)
- Marcel-Paul (fr)
|
| prop-fr:revue
|
- Information and Control (fr)
- Information and Control (fr)
|
| prop-fr:titre
|
- Counter-free Automata (fr)
- On finite monoids having only trivial subgroups (fr)
- Tense Logic and the Theory of Linear Order (fr)
- Counter-free Automata (fr)
- On finite monoids having only trivial subgroups (fr)
- Tense Logic and the Theory of Linear Order (fr)
|
| prop-fr:titreChapitre
|
- First-order definable languages (fr)
- First-order definable languages (fr)
|
| prop-fr:titreOuvrage
|
- Logic and automata: history and perspectives (fr)
- Logic and automata: history and perspectives (fr)
|
| prop-fr:url
| |
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| prop-fr:énoncé
|
- Un langage est sans étoile si et seulement si son automate minimal est fini et sans compteur. (fr)
- Un langage est sans étoile si et seulement si son automate minimal est fini et sans compteur. (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En informatique théorique, et notamment en théorie des langages formels, un langage rationnel est sans étoile (star-free language en anglais) s'il peut être obtenu à partir des lettres d'un alphabet et de l'ensemble vide par un ensemble fini d'opérations ensemblistes d'union, intersection, de complémentaire et de concaténations, mais sans utiliser l'opération étoile. (fr)
- En informatique théorique, et notamment en théorie des langages formels, un langage rationnel est sans étoile (star-free language en anglais) s'il peut être obtenu à partir des lettres d'un alphabet et de l'ensemble vide par un ensemble fini d'opérations ensemblistes d'union, intersection, de complémentaire et de concaténations, mais sans utiliser l'opération étoile. (fr)
|
| rdfs:label
|
- Langage sans étoile (fr)
- Llenguatge lliure d'estrella (ca)
- Langage sans étoile (fr)
- Llenguatge lliure d'estrella (ca)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
