| Property |
Value |
| dbo:abstract
|
- En informatique théorique, et notamment en théorie des automates, un automate séquentiel est un automate fini déterministe avec sorties. C'est un cas particulier d'un transducteur fini, où l'automate des entrées est déterministe.Une sous-famille des automates séquentiels est celle des automates séquentiels dits purs, où certaines modalités de calcul sont simplifiées. Lorsque de plus les sorties sont des lettres, un automate séquentiel est un automate de Mealy. Les transductions rationnelles réalisées par les automates séquentiels sont des fonctions (partielles) appelées fonctions séquentielles. (fr)
- En informatique théorique, et notamment en théorie des automates, un automate séquentiel est un automate fini déterministe avec sorties. C'est un cas particulier d'un transducteur fini, où l'automate des entrées est déterministe.Une sous-famille des automates séquentiels est celle des automates séquentiels dits purs, où certaines modalités de calcul sont simplifiées. Lorsque de plus les sorties sont des lettres, un automate séquentiel est un automate de Mealy. Les transductions rationnelles réalisées par les automates séquentiels sont des fonctions (partielles) appelées fonctions séquentielles. (fr)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 15567 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1966 (xsd:integer)
- 1974 (xsd:integer)
- 1979 (xsd:integer)
- 2003 (xsd:integer)
- 2006 (xsd:integer)
- 2011 (xsd:integer)
|
| prop-fr:auteur
|
- Samuel Eilenberg (fr)
- Benjamin Monmege (fr)
- Gene F. Rose (fr)
- Jacques Sakarovitch (fr)
- Jean-Eric Pin (fr)
- Jean-Éric Pin (fr)
- Marcel-Paul Schützenberger (fr)
- Seymour Ginsburg (fr)
- Sylvain Schmitz (fr)
- Samuel Eilenberg (fr)
- Benjamin Monmege (fr)
- Gene F. Rose (fr)
- Jacques Sakarovitch (fr)
- Jean-Eric Pin (fr)
- Jean-Éric Pin (fr)
- Marcel-Paul Schützenberger (fr)
- Seymour Ginsburg (fr)
- Sylvain Schmitz (fr)
|
| prop-fr:auteurOuvrage
|
- Jacky Akoka et Isabelle Comyn-Wattiau (fr)
- Jacky Akoka et Isabelle Comyn-Wattiau (fr)
|
| prop-fr:collection
|
- Lecture Notes in Computer Science (fr)
- Pure and Applied Mathematics (fr)
- Lecture Notes in Computer Science (fr)
- Pure and Applied Mathematics (fr)
|
| prop-fr:consultéLe
|
- 2017-08-03 (xsd:date)
- 2017-11-04 (xsd:date)
|
| prop-fr:date
|
- 1977 (xsd:integer)
- mai 2013 (fr)
|
| prop-fr:doi
|
- 10.100700 (xsd:double)
- 10.101600 (xsd:double)
|
| prop-fr:hal
| |
| prop-fr:id
|
- petitcours (fr)
- petitcours (fr)
|
| prop-fr:isbn
| |
| prop-fr:issn
|
- 302 (xsd:integer)
- 304 (xsd:integer)
|
| prop-fr:journal
|
- Can. J. Math. (fr)
- Can. J. Math. (fr)
|
| prop-fr:libellé
|
- Choffrut 1979 (fr)
- Eilenberg 1974 (fr)
- Ginsburg 1966 (fr)
- Ginsburg et Rose 1966 (fr)
- Monmege et Schmitz 2011 (fr)
- Pin 2006 (fr)
- Pin 2013 (fr)
- Sakarovitch 2003 (fr)
- Schützenberger 1977 (fr)
- Choffrut 1979 (fr)
- Eilenberg 1974 (fr)
- Ginsburg 1966 (fr)
- Ginsburg et Rose 1966 (fr)
- Monmege et Schmitz 2011 (fr)
- Pin 2006 (fr)
- Pin 2013 (fr)
- Sakarovitch 2003 (fr)
- Schützenberger 1977 (fr)
|
| prop-fr:lieu
|
- New York (fr)
- Paris (fr)
- New York (fr)
- Paris (fr)
|
| prop-fr:lireEnLigne
|
- https://igm.univ- mlv.fr/~berstel/Mps/Travaux/A/1977- 3SequentiellesTcs.pdf (fr)
- https://igm.univ- mlv.fr/~berstel/Mps/Travaux/A/1977- 3SequentiellesTcs.pdf (fr)
|
| prop-fr:mathReviews
| |
| prop-fr:nom
|
- Théorème (fr)
- Choffrut (fr)
- Théorème (fr)
- Choffrut (fr)
|
| prop-fr:note
|
- Choffrut (fr)
- Ginsburg et Rose (fr)
- Choffrut (fr)
- Ginsburg et Rose (fr)
|
| prop-fr:numéro
| |
| prop-fr:numéroChapitre
| |
| prop-fr:numéroDansCollection
|
- 58 (xsd:integer)
- 71 (xsd:integer)
|
| prop-fr:pages
|
- 47 (xsd:integer)
- 381 (xsd:integer)
- xvi+451 (fr)
|
| prop-fr:pagesTotales
| |
| prop-fr:passage
|
- 88 (xsd:integer)
- 966 (xsd:integer)
|
| prop-fr:prénom
|
- Christian (fr)
- Christian (fr)
|
| prop-fr:périodique
|
- Theoretical Computer Science (fr)
- Theoretical Computer Science (fr)
|
| prop-fr:titre
|
- Éléments de théorie des automates (fr)
- A characterization of machine mappings (fr)
- Automata, Languages and Machines, Vol. A (fr)
- A generalization of Ginsburg and Rose's characterization of G-S-M mappings (fr)
- Notes de révision : Automates et langages (fr)
- Petit cours sur les fonctions séquentielles (fr)
- Sur une variante des fonctions séquentielles (fr)
- The Mathematical Theory of Context-free Languages (fr)
- Éléments de théorie des automates (fr)
- A characterization of machine mappings (fr)
- Automata, Languages and Machines, Vol. A (fr)
- A generalization of Ginsburg and Rose's characterization of G-S-M mappings (fr)
- Notes de révision : Automates et langages (fr)
- Petit cours sur les fonctions séquentielles (fr)
- Sur une variante des fonctions séquentielles (fr)
- The Mathematical Theory of Context-free Languages (fr)
|
| prop-fr:titreChapitre
|
- Algorithmique et Programmation. Automates finis (fr)
- Algorithmique et Programmation. Automates finis (fr)
|
| prop-fr:titreOuvrage
|
- ICALP 1979: Automata, Languages and Programming (fr)
- Encyclopédie de l’informatique et des systèmes d’information (fr)
- ICALP 1979: Automata, Languages and Programming (fr)
- Encyclopédie de l’informatique et des systèmes d’information (fr)
|
| prop-fr:url
|
- http://www.lsv.fr/~schmitz/teach/2011_agreg/notes-r62.pdf|série=Préparation à l’agrégation de mathématiques 2011–2012 (fr)
- https://www.irif.fr/~jep/PDF/Exposes/FonctionsSequentielles.pdf|série=Sainte-Marie de Ré (fr)
- http://www.lsv.fr/~schmitz/teach/2011_agreg/notes-r62.pdf|série=Préparation à l’agrégation de mathématiques 2011–2012 (fr)
- https://www.irif.fr/~jep/PDF/Exposes/FonctionsSequentielles.pdf|série=Sainte-Marie de Ré (fr)
|
| prop-fr:volume
|
- 4 (xsd:integer)
- 18 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Springer (fr)
- McGraw-Hill (fr)
- Academic Press (fr)
- Vuibert (fr)
- LIAFA, CNRS et Université Denis Diderot (fr)
- LSV, ENS Cachan & CNRS (fr)
- Springer (fr)
- McGraw-Hill (fr)
- Academic Press (fr)
- Vuibert (fr)
- LIAFA, CNRS et Université Denis Diderot (fr)
- LSV, ENS Cachan & CNRS (fr)
|
| prop-fr:énoncé
|
- Une fonction est une fonction séquentielle pure si et seulement si
# est lipschitzienne ;
# préserve les préfixe (fr)
- Une fonction dont le domaine de définition est préfixiel est une fonction séquentielle si et seulement si
# est lipschitzienne ;
# préserve les langages réguliers. (fr)
- Soit une fonction rationnelle. Les conditions suivantes sont équivalentes :
* est séquentielle ;
* est lipschitzienne ;
* est uniformément bornée. (fr)
- Une fonction est une fonction séquentielle pure si et seulement si
# est lipschitzienne ;
# préserve les préfixe (fr)
- Une fonction dont le domaine de définition est préfixiel est une fonction séquentielle si et seulement si
# est lipschitzienne ;
# préserve les langages réguliers. (fr)
- Soit une fonction rationnelle. Les conditions suivantes sont équivalentes :
* est séquentielle ;
* est lipschitzienne ;
* est uniformément bornée. (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En informatique théorique, et notamment en théorie des automates, un automate séquentiel est un automate fini déterministe avec sorties. C'est un cas particulier d'un transducteur fini, où l'automate des entrées est déterministe.Une sous-famille des automates séquentiels est celle des automates séquentiels dits purs, où certaines modalités de calcul sont simplifiées. Lorsque de plus les sorties sont des lettres, un automate séquentiel est un automate de Mealy. Les transductions rationnelles réalisées par les automates séquentiels sont des fonctions (partielles) appelées fonctions séquentielles. (fr)
- En informatique théorique, et notamment en théorie des automates, un automate séquentiel est un automate fini déterministe avec sorties. C'est un cas particulier d'un transducteur fini, où l'automate des entrées est déterministe.Une sous-famille des automates séquentiels est celle des automates séquentiels dits purs, où certaines modalités de calcul sont simplifiées. Lorsque de plus les sorties sont des lettres, un automate séquentiel est un automate de Mealy. Les transductions rationnelles réalisées par les automates séquentiels sont des fonctions (partielles) appelées fonctions séquentielles. (fr)
|
| rdfs:label
|
- Automate séquentiel (fr)
- Automate séquentiel (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
