Random Generation of Deterministic Acyclic Automata Using Markov Chains

Vincent Carnino (1) , Sven de Felice (1)

1 LIGM - Laboratoire d'Informatique Gaspard-Monge

In this article we propose an algorithm, based on Markov chain techniques, to generate random automata that are deterministic, accessible and acyclic. The distribution of the output approaches the uniform distribution on n-state such automata. We then show how to adapt this algorithm in order to generate minimal acyclic automata with n states almost uniformly.

Domaines: Mathématique discrète [cs.DM]

Vincent Carnino, Sven de Felice. Random Generation of Deterministic Acyclic Automata Using Markov Chains. Implementation and Application of Automata - 16th International Conference, (CIAA'11), 2011, Blois, France. pp.65-75, ⟨10.1007/978-3-642-22256-6_7⟩. ⟨hal-00841862⟩