Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

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

Abstract

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
PDA-HAL.pdf (162.41 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

Pierre-Cyrille Héam, Jean-Luc Joly. Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata. CIAA 2015, Aug 2015, Umea, Sweden. pp.12. ⟨hal-01087748v2⟩
549 View
223 Download

Altmetric

Share

Gmail Facebook X LinkedIn More