Random Generation of Deterministic Tree (Walking) Automata
From MaRDI portal
Publication:3637348
DOI10.1007/978-3-642-02979-0_15zbMATH Open1248.68298OpenAlexW1875023514MaRDI QIDQ3637348FDOQ3637348
Authors: Cyril Nicaud, Sylvain Schmitz, Pierre-Cyrille Héam 
Publication date: 9 July 2009
Published in: Implementation and Application of Automata (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02979-0_15
Recommendations
- Parametric random generation of deterministic tree automata
- Random generation of nondeterministic finite-state tree automata
- Enumeration and random generation of possibly incomplete deterministic automata
- Random generation of deterministic acyclic automata using the recursive method
- Random generation of deterministic acyclic automata using Markov chains
Cites Work
- REGAL: A Library to Randomly and Exhaustively Generate Automata
- Learning Minimal Separating DFA’s for Compositional Verification
- Transitive closure logic, nested tree walking automata, and XPath
- Five Determinisation Algorithms
- Experimental Evaluation of Classical Automata Constructions
- Antichains: A New Algorithm for Checking Universality of Finite Automata
- Random generation of DFAs
- Enumeration and random generation of accessible automata
- Enumeration and random generation of possibly incomplete deterministic automata
- Büchi complementation made tight
- On the average complexity of Moore's state minimization algorithm
- Tree-Walking Automata Do Not Recognize All Regular Languages
- Title not available (Why is that?)
Cited In (7)
- Generating, sampling and counting subclasses of regular tree languages
- Loops and overloops for tree-walking automata
- Random generation of nondeterministic finite-state tree automata
- Random generation and enumeration of accessible deterministic real-time pushdown automata
- Loops and overloops for tree walking automata
- Parametric random generation of deterministic tree automata
- Random generation of DFAs
Uses Software
This page was built for publication: Random Generation of Deterministic Tree (Walking) Automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3637348)
