A polynomial procedure for trimming visibly pushdown automata - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2011

A polynomial procedure for trimming visibly pushdown automata

Résumé

We describe a polynomial procedure which, given a visibly pushdown automaton that accepts only well-nested words, returns an equivalent visibly pushdown automaton that is trimmed.

Domaines

Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
trimming.pdf (77.22 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Pierre-Alain Reynier  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00606778

Soumis le : jeudi 7 juillet 2011-10:46:06

Dernière modification le : vendredi 24 mars 2023-14:52:54

Archivage à long terme le : samedi 8 octobre 2011-02:22:04

Télécharger pour visualiser

Dates et versions

hal-00606778 , version 1 (07-07-2011)
hal-00606778 , version 2 (29-03-2012)

Identifiants

  • HAL Id : hal-00606778 , version 1

Citer

Mathieu Caralp, Pierre-Alain Reynier, Jean-Marc Talbot. A polynomial procedure for trimming visibly pushdown automata. 2011. ⟨hal-00606778v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
199 Consultations
84 Téléchargements

Partager

Gmail Facebook X LinkedIn More