Enumeration and random generation of possibly incomplete deterministic automata
From MaRDI portal
Publication:3077339
zbMATH Open1224.68043MaRDI QIDQ3077339FDOQ3077339
Authors: Frédérique Bassino, Julien David, Cyril Nicaud 
Publication date: 22 February 2011
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)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Generating, sampling and counting subclasses of regular tree languages
- Distribution of the number of accessible states in a random deterministic automaton
- Enumeration and generation with a string automata representation
- REGAL: A Library to Randomly and Exhaustively Generate Automata
- Random Generation of Deterministic Tree (Walking) Automata
- The method of forced enumeration for nondeterministic automata
- Random generation and enumeration of accessible deterministic real-time pushdown automata
- Accessible and deterministic automata: enumeration and Boltzmann samplers
- Random generation of deterministic acyclic automata using Markov chains
- Random generation of deterministic acyclic automata using the recursive method
- Parametric random generation of deterministic tree automata
- Enumeration and random generation of accessible automata
- Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
- Enumerating regular expressions and their languages
- Diagnosability verification using LTL model checking
- Random generation of DFAs
- Random deterministic automata
Uses Software
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)
