Random generation of DFAs

  • Authors:
  • Jean-Marc Champarnaud;Thomas Paranthoën

  • Affiliations:
  • University of Rouen, LIFAR, F-76821 Mont-Saint-Aignan Cedex, France;University of Rouen, LIFAR, F-76821 Mont-Saint-Aignan Cedex, France

  • Venue:
  • Theoretical Computer Science - Descriptional complexity of formal systems
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.