Counting strongly connected finite automata
Graph theory with applications to algorithms and computer science
Handbook of formal languages, vol. 1
The art of computer programming, volume 3: (2nd ed.) sorting and searching
The art of computer programming, volume 3: (2nd ed.) sorting and searching
Theory of Codes
On the number of distinct languages accepted by finite automata with n states
Journal of Automata, Languages and Combinatorics - Third international workshop on descriptional complexity of automata, grammars and related structures
Random generation models for NFA'S
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the fourth international workshop on descriptional complexity of formal systems
Enumeration and random generation of accessible automata
Theoretical Computer Science
Enumeration and generation with a string automata representation
Theoretical Computer Science
On the average state and transition complexity of finite languages
Theoretical Computer Science
Random Generation of Deterministic Tree (Walking) Automata
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
Parametric random generation of deterministic tree automata
Theoretical Computer Science
Random generation of deterministic acyclic automata using Markov chains
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Sampling different kinds of acyclic automata using Markov chains
Theoretical Computer Science
The number of DFAs for a given spanning tree
The Journal of Supercomputing
Hi-index | 0.00 |
This document gives a generalization on the alphabet size of the method that is described in Nicaud's thesis for randomly generating complete DFAs. First, we recall some properties of m-ary trees and we give a bijection between the set of m-ary trees and the set R(m, n) of generalized tuples. We show that this bijection can be built on any total prefix order on Σ*, Then we give the relations that exist between the elements of R(m,n) and complete DFAs built on an alphabet of size greater than 2. We give algorithms that allow us to randomly generate accessible complete DFAs. Finally, we provide experimental results that show that most of the accessible complete DFAs built on an alphabet of size greater than 2 are minimal.