Sampling different kinds of acyclic automata using Markov chains

We propose algorithms that use Markov chain techniques to generate acyclic automata uniformly at random. We first consider deterministic, accessible and acyclic automata, then focus on the class of minimal acyclic automata. In each case we explain how to define random local transformations that describe an ergodic and symmetric Markov chain; the distribution of the automaton obtained after T random steps in this Markov chain tends to the uniform distribution as T tends to infinity.

[1]  Guy Melançon,et al.  Generating connected acyclic digraphs uniformly at random , 2004, Inf. Process. Lett..

[2]  Dominique Revuz,et al.  Minimisation of Acyclic Deterministic Automata in Linear Time , 1992, Theor. Comput. Sci..

[3]  Pascal Caron,et al.  Acyclic automata and small expressions using multi-tilde-bar operators , 2010, Theor. Comput. Sci..

[4]  V. Liskovets The number of connected initial automata , 1969 .

[5]  Jean-Marc Champarnaud,et al.  Random generation of DFAs , 2005, Theor. Comput. Sci..

[6]  Pierre-Cyrille Héam,et al.  Parametric random generation of deterministic tree automata , 2010, Theor. Comput. Sci..

[7]  Elizabeth L. Wilmer,et al.  Markov Chains and Mixing Times , 2008 .

[8]  Mireille Bousquet-Mélou,et al.  Random Generation of Directed Acyclic Graphs , 2001, Electron. Notes Discret. Math..

[9]  Mehryar Mohri,et al.  String-Matching with Automata , 1997, Nord. J. Comput..

[10]  Valery A. Liskovets,et al.  Exact enumeration of acyclic deterministic automata , 2006, Discret. Appl. Math..

[11]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[12]  Pascal Caron,et al.  Small Extended Expressions for Acyclic Automata , 2009, CIAA.

[13]  Guy Louchard,et al.  Boltzmann Samplers for the Random Generation of Combinatorial Structures , 2004, Combinatorics, Probability and Computing.

[14]  Philippe Flajolet,et al.  A Calculus for the Random Generation of Labelled Combinatorial Structures , 1994, Theor. Comput. Sci..

[15]  Frédérique Bassino,et al.  Enumeration and random generation of accessible automata , 2007, Theor. Comput. Sci..

[16]  Nelma Moreira,et al.  Exact Generation of Minimal Acyclic Deterministic Finite Automata , 2008, Int. J. Found. Comput. Sci..

[17]  Pascal Caron,et al.  Characterization of Glushkov automata , 2000, Theor. Comput. Sci..