Enumeration and random generation of possibly incomplete deterministic automata
From MaRDI portal
Recommendations
- Enumeration and random generation of accessible automata
- Accessible and deterministic automata: enumeration and Boltzmann samplers
- Random generation of deterministic acyclic automata using Markov chains
- Distribution of the number of accessible states in a random deterministic automaton
- Random generation of deterministic acyclic automata using the recursive method
Cited in
(20)- The method of forced enumeration for nondeterministic automata
- Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
- Random generation of DFAs
- Parametric random generation of deterministic tree automata
- Enumerating regular expressions and their languages
- Diagnosability verification using LTL model checking
- Enumeration and generation with a string automata representation
- Distribution of the number of accessible states in a random deterministic automaton
- Random deterministic automata
- Random generation and enumeration of accessible deterministic real-time pushdown automata
- REGAL: A Library to Randomly and Exhaustively Generate Automata
- Accessible and deterministic automata: enumeration and Boltzmann samplers
- Generating, sampling and counting subclasses of regular tree languages
- Random Generation of Deterministic Tree (Walking) Automata
- scientific article; zbMATH DE number 4047127 (Why is no real title available?)
- scientific article; zbMATH DE number 1189125 (Why is no real title available?)
- Random generation of deterministic acyclic automata using the recursive method
- Random generation of deterministic acyclic automata using Markov chains
- scientific article; zbMATH DE number 2201360 (Why is no real title available?)
- Enumeration and random generation of accessible automata
This page was built for publication: Enumeration and random generation of possibly incomplete deterministic automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3077339)
