RDOS - Random Discrete Objects Suite

News

2020-08-06 - RDOS is more stable!

RDOS now runs as a micro-service architecture, using docker swarm, which improves its resilience and should allow us to develop an API in multiple languages that will allow you to directly uses RDOS from your source code

Regal - Deterministic Automaton

Random generators of deterministic accessible automata based on the Boltzmann sampling method. Official website: http://regal.univ-mlv.fr

Author(s): Julien David

Availability: http://regal.univ-mlv.fr/

References:

Frederique Bassino, Julien David, and Cyril Nicaud.
Random generation of possibly incomplete deterministic automata.
GASCom : Generation Aleatoire de Structure Combinatoire. June 2008. pp. 31-40.

Run generator online

Alphabet Size
Complete
Minimal
Output format
Size
Strongly connected
Number of automata
Email

Website Copyleft Yann Ponty & Julien David 2014

Menu

News