Rational set (original) (raw)
En informatique théorique, plus particulièrement en théorie des automates, un ensemble rationnel dans un monoïde est un élément de la plus petite famille de sous-ensembles de ce monoïde qui contient toutes les parties finies et qui est fermée par union, produit et étoile de Kleene. Les ensembles rationnels interviennent en théorie des automates, en théorie des langages formels et en algèbre. La notion d'ensemble rationnel étend la notion de langage rationnel ou régulier en tant qu'ensemble défini par une expression régulière à des monoïdes qui ne sont pas nécessairement libres.
| Property | Value |
|---|---|
| dbo:abstract | En informatique théorique, plus particulièrement en théorie des automates, un ensemble rationnel dans un monoïde est un élément de la plus petite famille de sous-ensembles de ce monoïde qui contient toutes les parties finies et qui est fermée par union, produit et étoile de Kleene. Les ensembles rationnels interviennent en théorie des automates, en théorie des langages formels et en algèbre. La notion d'ensemble rationnel étend la notion de langage rationnel ou régulier en tant qu'ensemble défini par une expression régulière à des monoïdes qui ne sont pas nécessairement libres. (fr) In computer science, more precisely in automata theory, a rational set of a monoid is an element of the minimal class of subsets of this monoid that contains all finite subsets and is closed under union, product and Kleene star. Rational sets are useful in automata theory, formal languages and algebra. A rational set generalizes the notion of rational (regular) language (understood as defined by regular expressions) to monoids that are not necessarily free. (en) |
| dbo:wikiPageExternalLink | http://genome.univ-mlv.fr/~berstel/Mps/Travaux/A/1969-3RationalSetsCommutativeMonoids.pdf http://www.liafa.jussieu.fr/~jep/PDF/MPRI/MPRI.pdf |
| dbo:wikiPageID | 37532679 (xsd:integer) |
| dbo:wikiPageLength | 6679 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1028255847 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Samuel_Eilenberg dbr:Binary_relation dbr:Regular_expression dbr:Monoid dbr:Alphabet_(computer_science) dbr:Computer_science dbr:Subgroup dbr:Algebra dbr:Formal_language dbr:Recognizable_set dbr:Regular_language dbr:Intersection_(set_theory) dbr:Jean-Éric_Pin dbr:Rational_monoid dbc:Automata_(computation) dbr:Automata_theory dbr:Free_monoid dbr:Kleene_star dbr:Semilinear_set dbr:Finitely_generated_group dbr:Rational_series dbr:Set_union dbr:Finite_index dbr:M._P._Schützenberger dbr:McKnight's_theorem |
| dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:Reflist dbt:Such_as? |
| dcterms:subject | dbc:Automata_(computation) |
| gold:hypernym | dbr:Element |
| rdf:type | dbo:MilitaryUnit |
| rdfs:comment | En informatique théorique, plus particulièrement en théorie des automates, un ensemble rationnel dans un monoïde est un élément de la plus petite famille de sous-ensembles de ce monoïde qui contient toutes les parties finies et qui est fermée par union, produit et étoile de Kleene. Les ensembles rationnels interviennent en théorie des automates, en théorie des langages formels et en algèbre. La notion d'ensemble rationnel étend la notion de langage rationnel ou régulier en tant qu'ensemble défini par une expression régulière à des monoïdes qui ne sont pas nécessairement libres. (fr) In computer science, more precisely in automata theory, a rational set of a monoid is an element of the minimal class of subsets of this monoid that contains all finite subsets and is closed under union, product and Kleene star. Rational sets are useful in automata theory, formal languages and algebra. A rational set generalizes the notion of rational (regular) language (understood as defined by regular expressions) to monoids that are not necessarily free. (en) |
| rdfs:label | Ensemble rationnel (fr) Rational set (en) |
| owl:sameAs | freebase:Rational set wikidata:Rational set dbpedia-fr:Rational set https://global.dbpedia.org/id/4tRkU |
| prov:wasDerivedFrom | wikipedia-en:Rational_set?oldid=1028255847&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Rational_set |
| is dbo:wikiPageRedirects of | dbr:Rational_function_(monoid) dbr:Rational_relation |
| is dbo:wikiPageWikiLink of | dbr:K-synchronized_sequence dbr:Recognizable_set dbr:Regular_language dbr:Rational_monoid dbr:Rational_series dbr:Rational_function_(monoid) dbr:Rational_relation |
| is foaf:primaryTopic of | wikipedia-en:Rational_set |