| Property |
Value |
| dbo:abstract
|
- En informatique théorique, et notamment en théorie des automates, un automate à jetons (en anglais « pebble automaton ») est un type d'automate d'arbres. Les automates à jetons constituent généralisation des automates cheminant dans les arbres ; l'automate est autorisé à employer un nombre fini de « jetons » qui sont utilisés pour marquer son passage dans un nœud. Ce modèle d'automate est plus puissant que les automates cheminant ordinaires, mais toujours encore moins puissant que les automates d'arbres. Les automates à jetons, introduits par Engelfriet et Hoogeboom, sont censés pallier un défaut d'automate cheminant, qui « se perd facilement dans un arbre » (« easily gets lost in atree ») parce que « dans un arbre binaire, quand tous les nœuds ont la même étiquette, tous les nœuds se ressemblent » (« in a binary tree of whichall internal nodes have the same label, all nodes look pretty much the same »). (fr)
- En informatique théorique, et notamment en théorie des automates, un automate à jetons (en anglais « pebble automaton ») est un type d'automate d'arbres. Les automates à jetons constituent généralisation des automates cheminant dans les arbres ; l'automate est autorisé à employer un nombre fini de « jetons » qui sont utilisés pour marquer son passage dans un nœud. Ce modèle d'automate est plus puissant que les automates cheminant ordinaires, mais toujours encore moins puissant que les automates d'arbres. Les automates à jetons, introduits par Engelfriet et Hoogeboom, sont censés pallier un défaut d'automate cheminant, qui « se perd facilement dans un arbre » (« easily gets lost in atree ») parce que « dans un arbre binaire, quand tous les nœuds ont la même étiquette, tous les nœuds se ressemblent » (« in a binary tree of whichall internal nodes have the same label, all nodes look pretty much the same »). (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8577 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1971 (xsd:integer)
- 1999 (xsd:integer)
- 2000 (xsd:integer)
- 2006 (xsd:integer)
- 2007 (xsd:integer)
|
| prop-fr:auteur
|
- Anca Muscholl (fr)
- Anne Brüggemann-Klein (fr)
- Derick Wood (fr)
- Hendrik Jan Hoogeboom (fr)
- Joost Engelfriet (fr)
- Luc Segoufin (fr)
- Mathias Samuelides (fr)
- Mikołaj Bojańczyk (fr)
- Thomas Schwentick (fr)
- Anca Muscholl (fr)
- Anne Brüggemann-Klein (fr)
- Derick Wood (fr)
- Hendrik Jan Hoogeboom (fr)
- Joost Engelfriet (fr)
- Luc Segoufin (fr)
- Mathias Samuelides (fr)
- Mikołaj Bojańczyk (fr)
- Thomas Schwentick (fr)
|
| prop-fr:auteursOuvrage
|
- E. Csuhaj-Varjú et Z. Ésik (fr)
- G. Rozenberg et W. Thomas (fr)
- J. Karhumäki, H. Maurer, G. Păun et G. Rozenberg (fr)
- M. Bugliesi, B. Preneel, V. Sassone, I. Wegener (fr)
- E. Csuhaj-Varjú et Z. Ésik (fr)
- G. Rozenberg et W. Thomas (fr)
- J. Karhumäki, H. Maurer, G. Păun et G. Rozenberg (fr)
- M. Bugliesi, B. Preneel, V. Sassone, I. Wegener (fr)
|
| prop-fr:collection
|
- Lecture Notes in Computer Science, Volume 4051 (fr)
- Lecture Notes in Computer Science, Volume 4639 (fr)
- Lecture Notes in Computer Science, Volume 4051 (fr)
- Lecture Notes in Computer Science, Volume 4639 (fr)
|
| prop-fr:doi
|
- 10.100700 (xsd:double)
- 10.101600 (xsd:double)
|
| prop-fr:id
|
- B (fr)
- BSSS2006 (fr)
- B (fr)
- BSSS2006 (fr)
|
| prop-fr:journal
|
- Information Processing Letters (fr)
- Information and Control (fr)
- Markup Languages (fr)
- Information Processing Letters (fr)
- Information and Control (fr)
- Markup Languages (fr)
|
| prop-fr:nom
|
- Aho (fr)
- Ullman (fr)
- Aho (fr)
- Ullman (fr)
|
| prop-fr:numéro
|
- 1 (xsd:integer)
- 5 (xsd:integer)
|
| prop-fr:pages
|
- 33 (xsd:integer)
- 81 (xsd:integer)
- 439 (xsd:integer)
|
| prop-fr:passage
|
- 72 (xsd:integer)
- 157 (xsd:integer)
- 270 (xsd:integer)
- 458 (xsd:integer)
|
| prop-fr:prénom
|
- Jeffrey D. (fr)
- Alfred V. (fr)
- Jeffrey D. (fr)
- Alfred V. (fr)
|
| prop-fr:titre
|
- Caterpillars. A context specification technique (fr)
- Complementing deterministic tree-walking automata (fr)
- Complexity of Pebble Tree-Walking Automata (fr)
- Expressive Power of Pebble Automata (fr)
- Translations on a context free grammar (fr)
- Tree-Walking Pebble Automata (fr)
- Tree-walking automata (fr)
- Caterpillars, context, tree automata and tree pattern matching (fr)
- Caterpillars. A context specification technique (fr)
- Complementing deterministic tree-walking automata (fr)
- Complexity of Pebble Tree-Walking Automata (fr)
- Expressive Power of Pebble Automata (fr)
- Translations on a context free grammar (fr)
- Tree-Walking Pebble Automata (fr)
- Tree-walking automata (fr)
- Caterpillars, context, tree automata and tree pattern matching (fr)
|
| prop-fr:titreOuvrage
|
- Developments in Language Theory 1999 (fr)
- Jewels are Forever (fr)
- Proceedings FCT 2007 (fr)
- Proceedings ICALP 2006, Venise (fr)
- Developments in Language Theory 1999 (fr)
- Jewels are Forever (fr)
- Proceedings FCT 2007 (fr)
- Proceedings ICALP 2006, Venise (fr)
|
| prop-fr:url
| |
| prop-fr:volume
|
- 2 (xsd:integer)
- 19 (xsd:integer)
- 99 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Springer (fr)
- World Scientific (fr)
- Springer Science (fr)
- Springer (fr)
- World Scientific (fr)
- Springer Science (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En informatique théorique, et notamment en théorie des automates, un automate à jetons (en anglais « pebble automaton ») est un type d'automate d'arbres. Les automates à jetons constituent généralisation des automates cheminant dans les arbres ; l'automate est autorisé à employer un nombre fini de « jetons » qui sont utilisés pour marquer son passage dans un nœud. Ce modèle d'automate est plus puissant que les automates cheminant ordinaires, mais toujours encore moins puissant que les automates d'arbres. Les automates à jetons, introduits par Engelfriet et Hoogeboom, sont censés pallier un défaut d'automate cheminant, qui « se perd facilement dans un arbre » (« easily gets lost in atree ») parce que « dans un arbre binaire, quand tous les nœuds ont la même étiquette, tous les nœuds se ress (fr)
- En informatique théorique, et notamment en théorie des automates, un automate à jetons (en anglais « pebble automaton ») est un type d'automate d'arbres. Les automates à jetons constituent généralisation des automates cheminant dans les arbres ; l'automate est autorisé à employer un nombre fini de « jetons » qui sont utilisés pour marquer son passage dans un nœud. Ce modèle d'automate est plus puissant que les automates cheminant ordinaires, mais toujours encore moins puissant que les automates d'arbres. Les automates à jetons, introduits par Engelfriet et Hoogeboom, sont censés pallier un défaut d'automate cheminant, qui « se perd facilement dans un arbre » (« easily gets lost in atree ») parce que « dans un arbre binaire, quand tous les nœuds ont la même étiquette, tous les nœuds se ress (fr)
|
| rdfs:label
|
- Automate à jetons (fr)
- Automate à jetons (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
