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)
- 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)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 8345 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 2009 (xsd:integer)
- 2020 (xsd:integer)
|
prop-fr:arxiv
| |
prop-fr:auteur
| |
prop-fr:auteurOuvrage
|
- Artur Czumaj Anuj Dawar Emanuela Merelli (fr)
- Artur Czumaj Anuj Dawar Emanuela Merelli (fr)
|
prop-fr:citation
|
- Chapter IV: Recognisable and Rational sets (fr)
- Chapter IV: Recognisable and Rational sets (fr)
|
prop-fr:collection
| |
prop-fr:consultéLe
| |
prop-fr:date
|
- 1969 (xsd:integer)
- 2016 (xsd:integer)
|
prop-fr:doi
| |
prop-fr:id
| |
prop-fr:isbn
|
- 978 (xsd:integer)
- 0978-03-11 (xsd:date)
|
prop-fr:lieu
|
- Cambridge (fr)
- Berlin/Boston (fr)
- Cambridge (fr)
- Berlin/Boston (fr)
|
prop-fr:nom
|
- Rosenberg (fr)
- Sakarovitch (fr)
- Diekert (fr)
- Hertrampf (fr)
- Kufleitner (fr)
- Rosenberg (fr)
- Sakarovitch (fr)
- Diekert (fr)
- Hertrampf (fr)
- Kufleitner (fr)
|
prop-fr:numéroDansCollection
| |
prop-fr:passage
| |
prop-fr:prénom
|
- Jacques (fr)
- Manfred (fr)
- Gerhard (fr)
- Ulrich (fr)
- Volker (fr)
- Jacques (fr)
- Manfred (fr)
- Gerhard (fr)
- Ulrich (fr)
- Volker (fr)
|
prop-fr:périodique
|
- Journal of Algebra (fr)
- Journal of Algebra (fr)
|
prop-fr:titre
| |
prop-fr:titreChapitre
|
- Chapter 7: Automata (fr)
- Chapter 7: Automata (fr)
|
prop-fr:titreOuvrage
|
- Actes de ICALP 2020 (fr)
- Actes de ICALP 2020 (fr)
|
prop-fr:url
| |
prop-fr:wikiPageUsesTemplate
| |
prop-fr:zbl
| |
prop-fr:éditeur
|
- Cambridge University Press (fr)
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik (fr)
- Irif (fr)
- Walter de Gruyther GmbH (fr)
- Cambridge University Press (fr)
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik (fr)
- Irif (fr)
- Walter de Gruyther GmbH (fr)
|
dct:subject
| |
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)
- 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)
|
rdfs:label
|
- Ensemble rationnel (fr)
- Rational set (en)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |