Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2014

Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata

Résumé

This papers presents a general framework for the uniform random generation of deterministic real-time accessible pushdown au-tomata. A polynomial time algorithm to randomly generate a pushdown automaton having a fixed stack operations total size is proposed. The influence of the accepting condition (empty stack, final state) on the reachability of the generated automata is investigated.
Fichier principal
Vignette du fichier
mainPDA-HAL.pdf (164.19 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01087748 , version 1 (02-12-2014)
hal-01087748 , version 2 (15-12-2015)

Identifiants

  • HAL Id : hal-01087748 , version 1

Citer

Pierre-Cyrille Héam, Jean-Luc Joly. Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata. [University works] FEMTO-ST. 2014. ⟨hal-01087748v1⟩
549 Consultations
225 Téléchargements

Partager

Gmail Facebook X LinkedIn More