| Property |
Value |
| dbo:abstract
|
- Un automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates. Un automate à pile est une généralisation des automates finis : il dispose en plus d'une mémoire infinie organisée en pile (last-in/first-out ou LIFO). Un automate à pile prend en entrée un mot et réalise une série de transitions. Il effectue pour chaque lettre du mot une transition, dont le choix dépend de la lettre, de l'état de l'automate et du sommet de la pile ; il peut aussi modifier le contenu de la pile. Selon l'état de l'automate et de la pile à la fin du calcul, le mot est accepté ou refusé. Les langages reconnus par les automates à piles sont exactement les langages algébriques, c'est-à-dire ceux engendrés par une grammaire algébrique. L'importance des automates à pile vient de leur emploi en analyse syntaxique des langages de programmation, et plus généralement dans la transformation de définitions ou d'algorithmes récursifs en leurs analogues itératifs. (fr)
- Un automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates. Un automate à pile est une généralisation des automates finis : il dispose en plus d'une mémoire infinie organisée en pile (last-in/first-out ou LIFO). Un automate à pile prend en entrée un mot et réalise une série de transitions. Il effectue pour chaque lettre du mot une transition, dont le choix dépend de la lettre, de l'état de l'automate et du sommet de la pile ; il peut aussi modifier le contenu de la pile. Selon l'état de l'automate et de la pile à la fin du calcul, le mot est accepté ou refusé. Les langages reconnus par les automates à piles sont exactement les langages algébriques, c'est-à-dire ceux engendrés par une grammaire algébrique. L'importance des automates à pile vient de leur emploi en analyse syntaxique des langages de programmation, et plus généralement dans la transformation de définitions ou d'algorithmes récursifs en leurs analogues itératifs. (fr)
|
| dbo:namedAfter
| |
| dbo:thumbnail
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 19158 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1997 (xsd:integer)
- 2001 (xsd:integer)
- 2002 (xsd:integer)
- 2005 (xsd:integer)
- 2021 (xsd:integer)
|
| prop-fr:auteur
| |
| prop-fr:auteurs
|
- Jean-Michel Autebert, Jean Berstel et Luc Boasson (fr)
- Jean-Michel Autebert, Jean Berstel et Luc Boasson (fr)
|
| prop-fr:auteursOuvrage
|
- G. Rozenberg, A. Salomaa (fr)
- G. Rozenberg, A. Salomaa (fr)
|
| prop-fr:doi
|
- 10.101600 (xsd:double)
- 10.113700 (xsd:double)
|
| prop-fr:id
| |
| prop-fr:isbn
| |
| prop-fr:journal
| |
| prop-fr:nom
| |
| prop-fr:numéro
|
- 1 (xsd:integer)
- 5 (xsd:integer)
|
| prop-fr:pages
|
- 1 (xsd:integer)
- 86 (xsd:integer)
- 555 (xsd:integer)
- 1025 (xsd:integer)
|
| prop-fr:passage
| |
| prop-fr:prénom
| |
| prop-fr:périodique
| |
| prop-fr:titre
|
- Equivalence of pushdown automata via first-order grammars (fr)
- L=L? decidability results from complete formal systems (fr)
- L=L? A simplified decidability proof (fr)
- The Bisimulation Problem for Equational Graphs of Finite Out-Degree (fr)
- Equivalence of pushdown automata via first-order grammars (fr)
- L=L? decidability results from complete formal systems (fr)
- L=L? A simplified decidability proof (fr)
- The Bisimulation Problem for Equational Graphs of Finite Out-Degree (fr)
|
| prop-fr:titreChapitre
|
- Context-free languages and pushdown automata (fr)
- Context-free languages and pushdown automata (fr)
|
| prop-fr:titreOuvrage
|
- Handbook of Formal Languages (fr)
- Handbook of Formal Languages (fr)
|
| prop-fr:titreVolume
|
- Word, Language, Grammar (fr)
- Word, Language, Grammar (fr)
|
| prop-fr:volume
|
- 1 (xsd:integer)
- 34 (xsd:integer)
- 115 (xsd:integer)
- 251 (xsd:integer)
- 281 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Springer Verlag (fr)
- Springer Verlag (fr)
|
| dct:subject
| |
| rdfs:comment
|
- Un automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates. Un automate à pile est une généralisation des automates finis : il dispose en plus d'une mémoire infinie organisée en pile (last-in/first-out ou LIFO). Un automate à pile prend en entrée un mot et réalise une série de transitions. Il effectue pour chaque lettre du mot une transition, dont le choix dépend de la lettre, de l'état de l'automate et du sommet de la pile ; il peut aussi modifier le contenu de la pile. Selon l'état de l'automate et de la pile à la fin du calcul, le mot est accepté ou refusé. (fr)
- Un automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates. Un automate à pile est une généralisation des automates finis : il dispose en plus d'une mémoire infinie organisée en pile (last-in/first-out ou LIFO). Un automate à pile prend en entrée un mot et réalise une série de transitions. Il effectue pour chaque lettre du mot une transition, dont le choix dépend de la lettre, de l'état de l'automate et du sommet de la pile ; il peut aussi modifier le contenu de la pile. Selon l'état de l'automate et de la pile à la fin du calcul, le mot est accepté ou refusé. (fr)
|
| rdfs:label
|
- Automate à pile (fr)
- Autómata con pila (es)
- Autômato com pilha (pt)
- Stapelautomaat (nl)
- Автомат з магазинною пам'яттю (uk)
- Автомат с магазинной памятью (ru)
- Automate à pile (fr)
- Autómata con pila (es)
- Autômato com pilha (pt)
- Stapelautomaat (nl)
- Автомат з магазинною пам'яттю (uk)
- Автомат с магазинной памятью (ru)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
