| Property |
Value |
| dbo:abstract
|
- En informatique théorique, et plus particulièrement en théorie des automates finis déterministes, un mot synchronisant, en anglais aussi reset word, est un mot sur l'alphabet d'entrée d'un automate qui envoie tout état de l'automate sur le même état. En d'autres termes, si un ensemble de copies de l'automate démarre, simultanément chacune en un état différent, elles se trouvent toutes après la lecture du mot synchronisant en même temps dans le même état. Les automates finis ne possèdent pas tous un mot synchronisant. Par exemple, un automate à deux états réduit à un circuit de longueur 2 ne peut pas être synchronisé. Le problème majeur encore ouvert concerne la longueur des plus courts mots synchronisants, et est connu sous le nom de conjecture de Černý. (fr)
- En informatique théorique, et plus particulièrement en théorie des automates finis déterministes, un mot synchronisant, en anglais aussi reset word, est un mot sur l'alphabet d'entrée d'un automate qui envoie tout état de l'automate sur le même état. En d'autres termes, si un ensemble de copies de l'automate démarre, simultanément chacune en un état différent, elles se trouvent toutes après la lecture du mot synchronisant en même temps dans le même état. Les automates finis ne possèdent pas tous un mot synchronisant. Par exemple, un automate à deux états réduit à un circuit de longueur 2 ne peut pas être synchronisé. Le problème majeur encore ouvert concerne la longueur des plus courts mots synchronisants, et est connu sous le nom de conjecture de Černý. (fr)
|
| dbo:namedAfter
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 13453 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1964 (xsd:integer)
- 1970 (xsd:integer)
- 1990 (xsd:integer)
- 2008 (xsd:integer)
- 2009 (xsd:integer)
- 2016 (xsd:integer)
- 2019 (xsd:integer)
|
| prop-fr:arxiv
| |
| prop-fr:auteur
|
- Avraham N. Trahtman (fr)
- Mikhail V. Volkov (fr)
- Avraham N. Trahtman (fr)
- Mikhail V. Volkov (fr)
|
| prop-fr:auteursOuvrage
|
- Valérie Berthé et Michel Rigo (fr)
- Valérie Berthé et Michel Rigo (fr)
|
| prop-fr:collection
|
- Lecture Notes in Computer Science (fr)
- Encyclopedia of Mathematics and its Applications (fr)
- Memoires of the American Mathematical Society (fr)
- Lecture Notes in Computer Science (fr)
- Encyclopedia of Mathematics and its Applications (fr)
- Memoires of the American Mathematical Society (fr)
|
| prop-fr:date
|
- 2007 (xsd:integer)
- 2008 (xsd:integer)
- 2009 (xsd:integer)
|
| prop-fr:doi
|
- 10.100700 (xsd:double)
- 10.101600 (xsd:double)
- 10.101700 (xsd:double)
- 10.113700 (xsd:double)
- 10.255960 (xsd:double)
|
| prop-fr:hal
| |
| prop-fr:id
|
- JC (fr)
- bp (fr)
- JC (fr)
- bp (fr)
|
| prop-fr:isbn
|
- 978 (xsd:integer)
- 9781107077027 (xsd:decimal)
- 9781139924733 (xsd:decimal)
|
| prop-fr:journal
| |
| prop-fr:lienAuteur
|
- Avraham Trahtman (fr)
- Benjamin Weiss (fr)
- Avraham Trahtman (fr)
- Benjamin Weiss (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:mathReviews
|
- 168429 (xsd:integer)
- 257315 (xsd:integer)
|
| prop-fr:nom
|
- Proposition (fr)
- Volkov (fr)
- Weiss (fr)
- Adler (fr)
- Perrin (fr)
- Eppstein (fr)
- Nicaud (fr)
- Černý (fr)
- Béal (fr)
- Trahtman (fr)
- Conjecture de Černý (fr)
- Jürgensen (fr)
- Proposition (fr)
- Volkov (fr)
- Weiss (fr)
- Adler (fr)
- Perrin (fr)
- Eppstein (fr)
- Nicaud (fr)
- Černý (fr)
- Béal (fr)
- Trahtman (fr)
- Conjecture de Černý (fr)
- Jürgensen (fr)
|
| prop-fr:numéro
|
- 1 (xsd:integer)
- 2 (xsd:integer)
- 3 (xsd:integer)
- 9 (xsd:integer)
- 37 (xsd:integer)
|
| prop-fr:numéroChapitre
| |
| prop-fr:numéroDansCollection
|
- 98 (xsd:integer)
- 135 (xsd:integer)
- 5196 (xsd:integer)
|
| prop-fr:pages
|
- 3 (xsd:integer)
- 43 (xsd:integer)
- 51 (xsd:integer)
- 208 (xsd:integer)
- 343 (xsd:integer)
- 500 (xsd:integer)
- 1033 (xsd:integer)
- 3513 (xsd:integer)
|
| prop-fr:pagesTotales
| |
| prop-fr:passage
|
- 11 (xsd:integer)
- 213 (xsd:integer)
|
| prop-fr:prénom
|
- Dominique (fr)
- David (fr)
- Marie-Pierre (fr)
- Cyril (fr)
- Helmut (fr)
- Roy L. (fr)
- Mikhail V. (fr)
- Avraham N. (fr)
- Benjamen (fr)
- Ján (fr)
- Dominique (fr)
- David (fr)
- Marie-Pierre (fr)
- Cyril (fr)
- Helmut (fr)
- Roy L. (fr)
- Mikhail V. (fr)
- Avraham N. (fr)
- Benjamen (fr)
- Ján (fr)
|
| prop-fr:présentationEnLigne
| |
| prop-fr:périodique
| |
| prop-fr:titre
|
- Similarity of automorphisms of the torus (fr)
- Synchronised automata (fr)
- The road coloring problem (fr)
- Synchronizing automata preserving a chain of partial orders (fr)
- Reset Sequences for Monotonic Automata (fr)
- Synchronization (fr)
- Synchronizing Automata and the Černý Conjecture (fr)
- Synchronizing road coloring (fr)
- The Cerny Conjecture for Aperiodic Automata (fr)
- The Černý Conjecture Holds with High Probability (fr)
- Poznámka k homogénnym experimentom s konečnými automatami (fr)
- Similarity of automorphisms of the torus (fr)
- Synchronised automata (fr)
- The road coloring problem (fr)
- Synchronizing automata preserving a chain of partial orders (fr)
- Reset Sequences for Monotonic Automata (fr)
- Synchronization (fr)
- Synchronizing Automata and the Černý Conjecture (fr)
- Synchronizing road coloring (fr)
- The Cerny Conjecture for Aperiodic Automata (fr)
- The Černý Conjecture Holds with High Probability (fr)
- Poznámka k homogénnym experimentom s konečnými automatami (fr)
|
| prop-fr:titreOuvrage
|
- Combinatorics, Words and Symbolic Dynamics (fr)
- Language and Automata Theory and Applications (fr)
- Combinatorics, Words and Symbolic Dynamics (fr)
- Language and Automata Theory and Applications (fr)
|
| prop-fr:url
| |
| prop-fr:volume
|
- 9 (xsd:integer)
- 14 (xsd:integer)
- 19 (xsd:integer)
- 24 (xsd:integer)
- 172 (xsd:integer)
- 206 (xsd:integer)
- 273 (xsd:integer)
- 410 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Cambridge University Press (fr)
- Springer-Verlag (fr)
- Cambridge University Press (fr)
- Springer-Verlag (fr)
|
| prop-fr:énoncé
|
- Un automate apériodique synchronisable à états possède un mot synchronisant de longueur au plus . (fr)
- Tout automate fini déterministe complet synchronisable à états possède un mot synchronisant de longueur au plus . (fr)
- Un automate apériodique synchronisable à états possède un mot synchronisant de longueur au plus . (fr)
- Tout automate fini déterministe complet synchronisable à états possède un mot synchronisant de longueur au plus . (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En informatique théorique, et plus particulièrement en théorie des automates finis déterministes, un mot synchronisant, en anglais aussi reset word, est un mot sur l'alphabet d'entrée d'un automate qui envoie tout état de l'automate sur le même état. En d'autres termes, si un ensemble de copies de l'automate démarre, simultanément chacune en un état différent, elles se trouvent toutes après la lecture du mot synchronisant en même temps dans le même état. Les automates finis ne possèdent pas tous un mot synchronisant. Par exemple, un automate à deux états réduit à un circuit de longueur 2 ne peut pas être synchronisé. Le problème majeur encore ouvert concerne la longueur des plus courts mots synchronisants, et est connu sous le nom de conjecture de Černý. (fr)
- En informatique théorique, et plus particulièrement en théorie des automates finis déterministes, un mot synchronisant, en anglais aussi reset word, est un mot sur l'alphabet d'entrée d'un automate qui envoie tout état de l'automate sur le même état. En d'autres termes, si un ensemble de copies de l'automate démarre, simultanément chacune en un état différent, elles se trouvent toutes après la lecture du mot synchronisant en même temps dans le même état. Les automates finis ne possèdent pas tous un mot synchronisant. Par exemple, un automate à deux états réduit à un circuit de longueur 2 ne peut pas être synchronisé. Le problème majeur encore ouvert concerne la longueur des plus courts mots synchronisants, et est connu sous le nom de conjecture de Černý. (fr)
|
| rdfs:label
|
- Mot synchronisant (fr)
- Mot synchronisant (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 | |
