net.automatalib.util.automata.random

Class RandomAutomata

java.lang.Object

net.automatalib.util.automata.random.RandomAutomata

@ParametersAreNonnullByDefault
public class RandomAutomata
extends Object

Constructor Summary

Constructors

Constructor and Description
RandomAutomata()
RandomAutomata(Random random)

Method Summary

Modifier and Type	Method and Description
static RandomAutomata	getInstance()
<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A	randomDeterministic(int numStates, Collection<? extends I> inputs, Collection<? extends SP> stateProps, Collection<? extends TP> transProps, A out)
<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A	randomDeterministic(int numStates, Collection<? extends I> inputs, Collection<? extends SP> stateProps, Collection<? extends TP> transProps, A out, boolean minimize)
static <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A	randomDeterministic(Random rand, int numStates, Collection<? extends I> inputs, Collection<? extends SP> stateProps, Collection<? extends TP> transProps, A out)
static <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A	randomDeterministic(Random rand, int numStates, Collection<? extends I> inputs, Collection<? extends SP> stateProps, Collection<? extends TP> transProps, A out, boolean minimize)
<I> CompactDFA<I>	randomDFA(int numStates, Alphabet<I> inputs)
<I> CompactDFA<I>	randomDFA(int numStates, Alphabet<I> inputs, boolean minimize)
static <I> CompactDFA<I>	randomDFA(Random rand, int numStates, Alphabet<I> inputs)
static <I> CompactDFA<I>	randomDFA(Random rand, int numStates, Alphabet<I> inputs, boolean minimize)
static <I> CompactDFA<I>	randomICDFA(Random rand, int numStates, Alphabet<I> inputs, boolean minimize) Randomly generates an initially connected DFA (ICDFA), i.e., a DFA where all states are reachable from the initial state.
<I,O> CompactMealy<I,O>	randomMealy(int numStates, Alphabet<I> inputs, Collection<? extends O> outputs)
<I,O> CompactMealy<I,O>	randomMealy(int numStates, Alphabet<I> inputs, Collection<? extends O> outputs, boolean minimize)
static <I,O> CompactMealy<I,O>	randomMealy(Random rand, int numStates, Alphabet<I> inputs, Collection<? extends O> outputs)
static <I,O> CompactMealy<I,O>	randomMealy(Random rand, int numStates, Alphabet<I> inputs, Collection<? extends O> outputs, boolean minimize)
static <I> DefaultOneSEVPA<I>	randomOneSEVPA(Random r, int locCount, VPDAlphabet<I> alphabet, double acceptanceProb, double initialRetTransProb, boolean minimize)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RandomAutomata

public RandomAutomata()

RandomAutomata

public RandomAutomata(Random random)

Method Detail

getInstance

@Nonnull
public static RandomAutomata getInstance()

randomICDFA

@Nonnull
public static <I> CompactDFA<I> randomICDFA(Random rand,
                                                     @Nonnegative
                                                     int numStates,
                                                     Alphabet<I> inputs,
                                                     boolean minimize)

Randomly generates an initially connected DFA (ICDFA), i.e., a DFA where all states are reachable from the initial state.

Parameters:

rand - the randomness source

numStates - the number of states of the generated automaton

inputs - the input alphabet

minimize - determines whether or not the DFA will be minimized before being returned. Note that if true is passed for this parameter, the resulting automaton might have a size less than numStates

Returns:

a randomly generated ICDFA

randomOneSEVPA

public static <I> DefaultOneSEVPA<I> randomOneSEVPA(Random r,
                                                    int locCount,
                                                    VPDAlphabet<I> alphabet,
                                                    double acceptanceProb,
                                                    double initialRetTransProb,
                                                    boolean minimize)

randomDeterministic

@Nonnull
public <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A randomDeterministic(@Nonnegative
                                                                                                int numStates,
                                                                                                Collection<? extends I> inputs,
                                                                                                @Nullable
                                                                                                Collection<? extends SP> stateProps,
                                                                                                @Nullable
                                                                                                Collection<? extends TP> transProps,
                                                                                                A out)

randomDeterministic

@Nonnull
public static <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A randomDeterministic(Random rand,
                                                                                                       @Nonnegative
                                                                                                       int numStates,
                                                                                                       Collection<? extends I> inputs,
                                                                                                       @Nullable
                                                                                                       Collection<? extends SP> stateProps,
                                                                                                       @Nullable
                                                                                                       Collection<? extends TP> transProps,
                                                                                                       A out)

randomDeterministic

@Nonnull
public static <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A randomDeterministic(Random rand,
                                                                                                       @Nonnegative
                                                                                                       int numStates,
                                                                                                       Collection<? extends I> inputs,
                                                                                                       @Nullable
                                                                                                       Collection<? extends SP> stateProps,
                                                                                                       @Nullable
                                                                                                       Collection<? extends TP> transProps,
                                                                                                       A out,
                                                                                                       boolean minimize)

randomDeterministic

@Nonnull
public <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A randomDeterministic(@Nonnegative
                                                                                                int numStates,
                                                                                                Collection<? extends I> inputs,
                                                                                                @Nullable
                                                                                                Collection<? extends SP> stateProps,
                                                                                                @Nullable
                                                                                                Collection<? extends TP> transProps,
                                                                                                A out,
                                                                                                boolean minimize)

randomDFA

@Nonnull
public <I> CompactDFA<I> randomDFA(@Nonnegative
                                            int numStates,
                                            Alphabet<I> inputs,
                                            boolean minimize)

randomDFA

@Nonnull
public static <I> CompactDFA<I> randomDFA(Random rand,
                                                   @Nonnegative
                                                   int numStates,
                                                   Alphabet<I> inputs,
                                                   boolean minimize)

randomDFA

@Nonnull
public <I> CompactDFA<I> randomDFA(@Nonnegative
                                            int numStates,
                                            Alphabet<I> inputs)

randomDFA

@Nonnull
public static <I> CompactDFA<I> randomDFA(Random rand,
                                                   @Nonnegative
                                                   int numStates,
                                                   Alphabet<I> inputs)

randomMealy

@Nonnull
public <I,O> CompactMealy<I,O> randomMealy(@Nonnegative
                                                    int numStates,
                                                    Alphabet<I> inputs,
                                                    Collection<? extends O> outputs,
                                                    boolean minimize)

randomMealy

@Nonnull
public static <I,O> CompactMealy<I,O> randomMealy(Random rand,
                                                           @Nonnegative
                                                           int numStates,
                                                           Alphabet<I> inputs,
                                                           Collection<? extends O> outputs,
                                                           boolean minimize)

randomMealy

@Nonnull
public <I,O> CompactMealy<I,O> randomMealy(@Nonnegative
                                                    int numStates,
                                                    Alphabet<I> inputs,
                                                    Collection<? extends O> outputs)

randomMealy

@Nonnull
public static <I,O> CompactMealy<I,O> randomMealy(Random rand,
                                                           @Nonnegative
                                                           int numStates,
                                                           Alphabet<I> inputs,
                                                           Collection<? extends O> outputs)