[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
About DBpedia Fr

About: http://fr.dbpedia.org/resource/Automate_à_pile_visible

An Entity of Type : Thing, from Named Graph : http://fr.dbpedia.org, within Data Space : fr.dbpedia.org

En informatique théorique, et notamment en théorie des automates et des langages formels, un automate à pile visible (en anglais « visibly pushdown automaton ») est un automate à pile reconnaissant des mots sur un alphabet partitionné. Ils reconnaissent les langages à pile visible (en anglais « visibly pushdown languages »). Cette famille de langages est intermédiaire entre les langages rationnels et les langages algébriques déterministes.

Property Value
dbo:abstract
  • En informatique théorique, et notamment en théorie des automates et des langages formels, un automate à pile visible (en anglais « visibly pushdown automaton ») est un automate à pile reconnaissant des mots sur un alphabet partitionné. Ils reconnaissent les langages à pile visible (en anglais « visibly pushdown languages »). Cette famille de langages est intermédiaire entre les langages rationnels et les langages algébriques déterministes. Un mot imbriqué (en anglais « nested word »), notion proposée par Rajeev Alur et Parthasarathy Madhusudan, est un objet doté d'une double structure : d'un côté, c'est une chaîne de caractères, comme dans l’usage traditionnel de la modélisation de structures totalement ordonnées, d'un autre côté, c'est un modèle de structure hiérarchique, comme les arbres enracinés ou les systèmes de parenthèses emboîtées. Les automates acceptant des ensembles de mots imbriqués sont les automates de mots imbriqués (en anglais « nested word automata »). Ce sont des automates généralisant les automates finis de mots. Le codage par système de parenthèses de mots imbriqués redonne la classe des langages à pile visible. Depuis l'introduction de cette terminologie par Alur et Madhusudan en 2004, suivie d'un développement autour de ces notions en 2009, ces concepts ont déclenché un nombre important de recherches sur et autour de ces objets et de leur applications. (fr)
  • En informatique théorique, et notamment en théorie des automates et des langages formels, un automate à pile visible (en anglais « visibly pushdown automaton ») est un automate à pile reconnaissant des mots sur un alphabet partitionné. Ils reconnaissent les langages à pile visible (en anglais « visibly pushdown languages »). Cette famille de langages est intermédiaire entre les langages rationnels et les langages algébriques déterministes. Un mot imbriqué (en anglais « nested word »), notion proposée par Rajeev Alur et Parthasarathy Madhusudan, est un objet doté d'une double structure : d'un côté, c'est une chaîne de caractères, comme dans l’usage traditionnel de la modélisation de structures totalement ordonnées, d'un autre côté, c'est un modèle de structure hiérarchique, comme les arbres enracinés ou les systèmes de parenthèses emboîtées. Les automates acceptant des ensembles de mots imbriqués sont les automates de mots imbriqués (en anglais « nested word automata »). Ce sont des automates généralisant les automates finis de mots. Le codage par système de parenthèses de mots imbriqués redonne la classe des langages à pile visible. Depuis l'introduction de cette terminologie par Alur et Madhusudan en 2004, suivie d'un développement autour de ces notions en 2009, ces concepts ont déclenché un nombre important de recherches sur et autour de ces objets et de leur applications. (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 10672029 (xsd:integer)
dbo:wikiPageLength
  • 39391 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 179018544 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1967 (xsd:integer)
  • 1979 (xsd:integer)
  • 1980 (xsd:integer)
  • 1985 (xsd:integer)
  • 1988 (xsd:integer)
  • 2004 (xsd:integer)
  • 2008 (xsd:integer)
  • 2009 (xsd:integer)
  • 2012 (xsd:integer)
  • 2015 (xsd:integer)
  • 2017 (xsd:integer)
  • 2018 (xsd:integer)
  • 2019 (xsd:integer)
  • 2020 (xsd:integer)
prop-fr:arxiv
  • 811.053700 (xsd:double)
prop-fr:auteur
  • Christian Schilling (fr)
  • Jean-Marc Talbot (fr)
  • Mathieu Caralp (fr)
  • Pierre-Alain Reynier (fr)
  • Rajeev Alur (fr)
  • Christian Schilling (fr)
  • Jean-Marc Talbot (fr)
  • Mathieu Caralp (fr)
  • Pierre-Alain Reynier (fr)
  • Rajeev Alur (fr)
prop-fr:auteursOuvrage
  • J. Bakker et J. van Leeuwen (fr)
  • J. Bakker et J. van Leeuwen (fr)
prop-fr:collection
  • Lecture Notes in Computer Science, vol 85 (fr)
  • Lecture Notes in Computer Science, vol 85 (fr)
prop-fr:consultéLe
  • 2017-02-25 (xsd:date)
prop-fr:date
  • juillet 1963 (fr)
  • juillet 1963 (fr)
prop-fr:doi
  • 10.100700 (xsd:double)
  • 10.101600 (xsd:double)
  • 10.113700 (xsd:double)
  • 10.114500 (xsd:double)
  • 10.216800 (xsd:double)
prop-fr:id
  • AlurPenn (fr)
  • Schilling2012 (fr)
  • AlurPenn (fr)
  • Schilling2012 (fr)
prop-fr:isbn
  • 0 (xsd:integer)
  • 978 (xsd:integer)
  • 1581138520 (xsd:integer)
prop-fr:issn
  • 20 (xsd:integer)
  • 22 (xsd:integer)
  • 302 (xsd:integer)
  • 304 (xsd:integer)
prop-fr:journal
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:libellé
  • Alur Madhusudan 2004 (fr)
  • Alur Madhusudan 2009 (fr)
  • Alur et al. 2008 (fr)
  • Braunmühl, Verbeek 1985 (fr)
  • Caralp, Reynier, Talbot 2015 (fr)
  • Crespi Reghizzi, Mandrioli 2012 (fr)
  • Dymond 1988 (fr)
  • Filiot, Raskin, Reynier, Servais 2018 (fr)
  • Floyd 1963 (fr)
  • Lonati, Mandrioli, Panella, Pradella 2015 (fr)
  • McNaughton 1967 (fr)
  • Mehlhorn 1980 (fr)
  • Okhotin Salomaa 2017 (fr)
  • Okhotin Salomaa 2019 (fr)
  • Piao, Salomaa 2009 (fr)
  • Sakharov 2020 (fr)
  • Alur Madhusudan 2004 (fr)
  • Alur Madhusudan 2009 (fr)
  • Alur et al. 2008 (fr)
  • Braunmühl, Verbeek 1985 (fr)
  • Caralp, Reynier, Talbot 2015 (fr)
  • Crespi Reghizzi, Mandrioli 2012 (fr)
  • Dymond 1988 (fr)
  • Filiot, Raskin, Reynier, Servais 2018 (fr)
  • Floyd 1963 (fr)
  • Lonati, Mandrioli, Panella, Pradella 2015 (fr)
  • McNaughton 1967 (fr)
  • Mehlhorn 1980 (fr)
  • Okhotin Salomaa 2017 (fr)
  • Okhotin Salomaa 2019 (fr)
  • Piao, Salomaa 2009 (fr)
  • Sakharov 2020 (fr)
prop-fr:lienAuteur
  • Robert W. Floyd (fr)
  • Robert W. Floyd (fr)
prop-fr:nom
  • Servais (fr)
  • Talbot (fr)
  • Hopcroft (fr)
  • Ullman (fr)
  • Floyd (fr)
  • Mehlhorn (fr)
  • Alur (fr)
  • Arenas (fr)
  • Dymond (fr)
  • Immerman (fr)
  • Barcelo (fr)
  • Crespi Reghizzi (fr)
  • Etessami (fr)
  • Filiot (fr)
  • Libkin (fr)
  • Lonati (fr)
  • Madhusudan (fr)
  • Mandrioli (fr)
  • McNaughton (fr)
  • Okhotin (fr)
  • Panella (fr)
  • Piao (fr)
  • Pradella (fr)
  • Raskin (fr)
  • Reynier (fr)
  • Sakharov (fr)
  • Salomaa (fr)
  • Verbeek (fr)
  • von Braunmühl (fr)
  • Servais (fr)
  • Talbot (fr)
  • Hopcroft (fr)
  • Ullman (fr)
  • Floyd (fr)
  • Mehlhorn (fr)
  • Alur (fr)
  • Arenas (fr)
  • Dymond (fr)
  • Immerman (fr)
  • Barcelo (fr)
  • Crespi Reghizzi (fr)
  • Etessami (fr)
  • Filiot (fr)
  • Libkin (fr)
  • Lonati (fr)
  • Madhusudan (fr)
  • Mandrioli (fr)
  • McNaughton (fr)
  • Okhotin (fr)
  • Panella (fr)
  • Piao (fr)
  • Pradella (fr)
  • Raskin (fr)
  • Reynier (fr)
  • Sakharov (fr)
  • Salomaa (fr)
  • Verbeek (fr)
  • von Braunmühl (fr)
prop-fr:numéro
  • 3 (xsd:integer)
  • 4 (xsd:integer)
  • 5 (xsd:integer)
  • 6 (xsd:integer)
  • 35 (xsd:integer)
  • C (fr)
prop-fr:numéroArticle
  • 105958 (xsd:integer)
prop-fr:pages
  • 1 (xsd:integer)
  • 13 (xsd:integer)
  • 65 (xsd:integer)
  • 147 (xsd:integer)
  • 207 (xsd:integer)
  • 247 (xsd:integer)
  • 316 (xsd:integer)
  • 490 (xsd:integer)
  • 1837 (xsd:integer)
  • 3290 (xsd:integer)
prop-fr:pagesTotales
  • 418 (xsd:integer)
prop-fr:passage
  • 202 (xsd:integer)
  • 422 (xsd:integer)
prop-fr:prénom
  • Violetta (fr)
  • Emmanuel (fr)
  • K. (fr)
  • L. (fr)
  • M. (fr)
  • P. (fr)
  • R. (fr)
  • Jean-Marc (fr)
  • Alexander (fr)
  • Frédéric (fr)
  • Jean-François (fr)
  • N. (fr)
  • Jeffrey D. (fr)
  • Patrick W. (fr)
  • Kurt (fr)
  • Matteo (fr)
  • John E. (fr)
  • Robert W. (fr)
  • Stefano (fr)
  • Kai (fr)
  • Rajeev (fr)
  • Dino (fr)
  • Burchard (fr)
  • Federica (fr)
  • Parthasarathy (fr)
  • Pierre-Alain (fr)
  • Rutger (fr)
  • Xiaoxue (fr)
  • Violetta (fr)
  • Emmanuel (fr)
  • K. (fr)
  • L. (fr)
  • M. (fr)
  • P. (fr)
  • R. (fr)
  • Jean-Marc (fr)
  • Alexander (fr)
  • Frédéric (fr)
  • Jean-François (fr)
  • N. (fr)
  • Jeffrey D. (fr)
  • Patrick W. (fr)
  • Kurt (fr)
  • Matteo (fr)
  • John E. (fr)
  • Robert W. (fr)
  • Stefano (fr)
  • Kai (fr)
  • Rajeev (fr)
  • Dino (fr)
  • Burchard (fr)
  • Federica (fr)
  • Parthasarathy (fr)
  • Pierre-Alain (fr)
  • Rutger (fr)
  • Xiaoxue (fr)
prop-fr:site
prop-fr:série
  • Automata Theory (fr)
  • Automata Theory (fr)
prop-fr:titre
  • Introduction to Automata Theory, Languages, and Computation (fr)
  • State complexity of operations on input-driven pushdown automata (fr)
  • Operator precedence and the visibly pushdown property (fr)
  • Annotated regular expressions and input-driven languages (fr)
  • Further closure properties of input-driven pushdown automata (fr)
  • Adding nesting structure to words (fr)
  • First-Order and Temporal Logics for Nested Words (fr)
  • Input-driven languages are in log n depth (fr)
  • Nested Word Automata (fr)
  • Nested words aka Visibly Pushdown Languages (fr)
  • Parenthesis Grammars (fr)
  • Syntactic Analysis and Operator Precedence (fr)
  • Trimming visibly pushdown automata (fr)
  • Pebbling mountain ranges and its application to DCFL-recognition (fr)
  • Visibly pushdown languages (fr)
  • Visibly pushdown transducers (fr)
  • Input Driven Languages are Recognized in log n Space (fr)
  • Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization (fr)
  • Operational state complexity of nested word automata (fr)
  • Introduction to Automata Theory, Languages, and Computation (fr)
  • State complexity of operations on input-driven pushdown automata (fr)
  • Operator precedence and the visibly pushdown property (fr)
  • Annotated regular expressions and input-driven languages (fr)
  • Further closure properties of input-driven pushdown automata (fr)
  • Adding nesting structure to words (fr)
  • First-Order and Temporal Logics for Nested Words (fr)
  • Input-driven languages are in log n depth (fr)
  • Nested Word Automata (fr)
  • Nested words aka Visibly Pushdown Languages (fr)
  • Parenthesis Grammars (fr)
  • Syntactic Analysis and Operator Precedence (fr)
  • Trimming visibly pushdown automata (fr)
  • Pebbling mountain ranges and its application to DCFL-recognition (fr)
  • Visibly pushdown languages (fr)
  • Visibly pushdown transducers (fr)
  • Input Driven Languages are Recognized in log n Space (fr)
  • Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization (fr)
  • Operational state complexity of nested word automata (fr)
prop-fr:titreOuvrage
  • Automata, Languages and Programming. ICALP 1980. (fr)
  • Proceedings of the thirty-sixth annual ACM symposium on Theory of computing - STOC '04 (fr)
  • Automata, Languages and Programming. ICALP 1980. (fr)
  • Proceedings of the thirty-sixth annual ACM symposium on Theory of computing - STOC '04 (fr)
prop-fr:url
prop-fr:volume
  • 4 (xsd:integer)
  • 10 (xsd:integer)
  • 14 (xsd:integer)
  • 26 (xsd:integer)
  • 44 (xsd:integer)
  • 56 (xsd:integer)
  • 78 (xsd:integer)
  • 86 (xsd:integer)
  • 97 (xsd:integer)
  • 102 (xsd:integer)
  • 159 (xsd:integer)
  • 410 (xsd:integer)
  • 578 (xsd:integer)
  • 798 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
  • Springer (fr)
  • Addison-Wesley (fr)
  • Université de Fribourg, Sommersemester 2012 (fr)
  • Springer (fr)
  • Addison-Wesley (fr)
  • Université de Fribourg, Sommersemester 2012 (fr)
dct:subject
rdfs:comment
  • En informatique théorique, et notamment en théorie des automates et des langages formels, un automate à pile visible (en anglais « visibly pushdown automaton ») est un automate à pile reconnaissant des mots sur un alphabet partitionné. Ils reconnaissent les langages à pile visible (en anglais « visibly pushdown languages »). Cette famille de langages est intermédiaire entre les langages rationnels et les langages algébriques déterministes. (fr)
  • En informatique théorique, et notamment en théorie des automates et des langages formels, un automate à pile visible (en anglais « visibly pushdown automaton ») est un automate à pile reconnaissant des mots sur un alphabet partitionné. Ils reconnaissent les langages à pile visible (en anglais « visibly pushdown languages »). Cette famille de langages est intermédiaire entre les langages rationnels et les langages algébriques déterministes. (fr)
rdfs:label
  • Automate à pile visible (fr)
  • Palavra aninhada (pt)
  • Automate à pile visible (fr)
  • Palavra aninhada (pt)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License