| Property |
Value |
| dbo:abstract
|
- En informatique théorique, et notamment en théorie des automates, un automate de Parikh est un automate fini non déterministe dont les transitions comportent des vecteurs d’entiers naturels qui permettent de tester si la somme des vecteurs d'un calcul satisfait une contrainte semi-linéaire. L'intérêt de cette famille d'automates est qu'elle possède d'autres caractérisations équivalentes, sous forme de machine de Turing et sous une forme plus algébrique, dite RCM. (fr)
- En informatique théorique, et notamment en théorie des automates, un automate de Parikh est un automate fini non déterministe dont les transitions comportent des vecteurs d’entiers naturels qui permettent de tester si la somme des vecteurs d'un calcul satisfait une contrainte semi-linéaire. L'intérêt de cette famille d'automates est qu'elle possède d'autres caractérisations équivalentes, sous forme de machine de Turing et sous une forme plus algébrique, dite RCM. (fr)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 12313 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:auteur
|
- Cyril Nicaud (fr)
- Alain Finkel (fr)
- Alin Bostan (fr)
- Arnaud Carayol (fr)
- Felix Klaedtke (fr)
- Florent Koechlin (fr)
- Giusi Castiglione (fr)
- Harald Rueß (fr)
- Michaël Cadilhac (fr)
- Oscar H. Ibarra (fr)
- Paolo Massazza (fr)
- Pierre McKenzie (fr)
- Thomas Colcombet (fr)
- Cyril Nicaud (fr)
- Alain Finkel (fr)
- Alin Bostan (fr)
- Arnaud Carayol (fr)
- Felix Klaedtke (fr)
- Florent Koechlin (fr)
- Giusi Castiglione (fr)
- Harald Rueß (fr)
- Michaël Cadilhac (fr)
- Oscar H. Ibarra (fr)
- Paolo Massazza (fr)
- Pierre McKenzie (fr)
- Thomas Colcombet (fr)
|
| prop-fr:auteursOuvrage
|
- Jeffrey Shallit et Alexander Okhotin (fr)
- Jeffrey Shallit et Alexander Okhotin (fr)
|
| prop-fr:collection
|
- LectureNotes in Computer Science (fr)
- LectureNotes in Computer Science (fr)
|
| prop-fr:consultéLe
| |
| prop-fr:date
|
- 1978 (xsd:integer)
- 1993 (xsd:integer)
- 2003 (xsd:integer)
- 2012 (xsd:integer)
- 2013 (xsd:integer)
- 2015 (xsd:integer)
- 2017 (xsd:integer)
- 2020 (xsd:integer)
|
| prop-fr:doi
|
- 10.100700 (xsd:double)
- 10.101600 (xsd:double)
- 10.105100 (xsd:double)
- 10.114200 (xsd:double)
- 10.114500 (xsd:double)
- 10.423000 (xsd:double)
|
| prop-fr:id
| |
| prop-fr:lireEnLigne
| |
| prop-fr:numéro
|
- 1 (xsd:integer)
- 2 (xsd:integer)
- 4 (xsd:integer)
- 7 (xsd:integer)
|
| prop-fr:numéroDansCollection
|
- 2719 (xsd:integer)
- 9118 (xsd:integer)
|
| prop-fr:pages
|
- 74 (xsd:integer)
- 114 (xsd:integer)
- 116 (xsd:integer)
- 149 (xsd:integer)
- 511 (xsd:integer)
- 1099 (xsd:integer)
|
| prop-fr:passage
|
- 3 (xsd:integer)
- 74 (xsd:integer)
|
| prop-fr:périodique
| |
| prop-fr:titre
|
- Affine Parikh automata (fr)
- Monadic second-order logics with cardinalities (fr)
- Unambiguity in automata theory (fr)
- Unambiguous constrained automata (fr)
- Reversal-bounded multicounter machines and their decision problems (fr)
- On a class of languages with holonomic generating functions (fr)
- Holonomic functions and their relation to linearly constrained languages (fr)
- Weakly-unambiguous Parikh automata and their link to holonomic series (fr)
- Affine Parikh automata (fr)
- Monadic second-order logics with cardinalities (fr)
- Unambiguity in automata theory (fr)
- Unambiguous constrained automata (fr)
- Reversal-bounded multicounter machines and their decision problems (fr)
- On a class of languages with holonomic generating functions (fr)
- Holonomic functions and their relation to linearly constrained languages (fr)
- Weakly-unambiguous Parikh automata and their link to holonomic series (fr)
|
| prop-fr:titreOuvrage
|
- Descriptional Complexity of Formal Systems - 17th International Workshop (fr)
- Automata, Languages and Programming, 30th International Colloquium (fr)
- Descriptional Complexity of Formal Systems - 17th International Workshop (fr)
- Automata, Languages and Programming, 30th International Colloquium (fr)
|
| prop-fr:volume
|
- 24 (xsd:integer)
- 25 (xsd:integer)
- 27 (xsd:integer)
- 46 (xsd:integer)
- 658 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Springer (fr)
- Springer (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En informatique théorique, et notamment en théorie des automates, un automate de Parikh est un automate fini non déterministe dont les transitions comportent des vecteurs d’entiers naturels qui permettent de tester si la somme des vecteurs d'un calcul satisfait une contrainte semi-linéaire. L'intérêt de cette famille d'automates est qu'elle possède d'autres caractérisations équivalentes, sous forme de machine de Turing et sous une forme plus algébrique, dite RCM. (fr)
- En informatique théorique, et notamment en théorie des automates, un automate de Parikh est un automate fini non déterministe dont les transitions comportent des vecteurs d’entiers naturels qui permettent de tester si la somme des vecteurs d'un calcul satisfait une contrainte semi-linéaire. L'intérêt de cette famille d'automates est qu'elle possède d'autres caractérisations équivalentes, sous forme de machine de Turing et sous une forme plus algébrique, dite RCM. (fr)
|
| rdfs:label
|
- Automate de Parikh (fr)
- Automate de Parikh (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |