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)
  • 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
  • 13762530 (xsd:integer)
dbo:wikiPageLength
  • 8345 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 187266194 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 2009 (xsd:integer)
  • 2020 (xsd:integer)
prop-fr:arxiv
  • 2006.118980 (xsd:double)
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
  • LIPIcs (fr)
  • LIPIcs (fr)
prop-fr:consultéLe
  • 2020-12-12 (xsd:date)
prop-fr:date
  • 1969 (xsd:integer)
  • 2016 (xsd:integer)
prop-fr:doi
  • 10.423000 (xsd:double)
prop-fr:id
  • jep (fr)
  • jep (fr)
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
  • 168 (xsd:integer)
prop-fr:passage
  • 116 (xsd:integer)
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
  • 1188.681770 (xsd:double)
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