net.automatalib.util.automata.random.RandomAutomata Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of automata-util Show documentation
Show all versions of automata-util Show documentation
This artifact provides various common utility operations for analyzing and manipulating
automata and graphs, such as traversal, minimization and copying.
/* Copyright (C) 2013 TU Dortmund
* This file is part of AutomataLib, http://www.automatalib.net/.
*
* AutomataLib is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License version 3.0 as published by the Free Software Foundation.
*
* AutomataLib is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with AutomataLib; if not, see
* http://www.gnu.de/documents/lgpl.en.html.
*/
package net.automatalib.util.automata.random;
import java.util.Collection;
import java.util.Collections;
import java.util.Random;
import javax.annotation.Nonnegative;
import javax.annotation.Nonnull;
import javax.annotation.Nullable;
import javax.annotation.ParametersAreNonnullByDefault;
import net.automatalib.automata.MutableDeterministic;
import net.automatalib.automata.fsa.DFA;
import net.automatalib.automata.fsa.impl.compact.CompactDFA;
import net.automatalib.automata.transout.impl.compact.CompactMealy;
import net.automatalib.util.automata.Automata;
import net.automatalib.words.Alphabet;
@ParametersAreNonnullByDefault
public class RandomAutomata {
private static final class InstanceHolder {
@Nonnull
public static final RandomAutomata INSTANCE = new RandomAutomata();
}
@Nonnull
public static RandomAutomata getInstance() {
return InstanceHolder.INSTANCE;
}
@Nonnull
public static >
A randomDeterministic(
Random rand,
@Nonnegative
int numStates,
Collection inputs,
@Nullable
Collection stateProps,
@Nullable
Collection transProps,
A out) {
return randomDeterministic(rand, numStates, inputs, stateProps, transProps, out, true);
}
@Nonnull
public static >
A randomDeterministic(
Random rand,
@Nonnegative
int numStates,
Collection inputs,
@Nullable
Collection stateProps,
@Nullable
Collection transProps,
A out, boolean minimize) {
RandomDeterministicAutomatonGenerator gen
= new RandomDeterministicAutomatonGenerator<>(rand, inputs, stateProps, transProps, out);
gen.addStates(numStates);
gen.addTransitions();
gen.chooseInitial();
if(minimize)
Automata.invasiveMinimize(out, inputs);
return out;
}
@Nonnull
public static
CompactDFA randomDFA(
Random rand,
@Nonnegative
int numStates,
Alphabet inputs,
boolean minimize) {
return randomDeterministic(rand, numStates, inputs, DFA.STATE_PROPERTIES, DFA.TRANSITION_PROPERTIES, new CompactDFA<>(inputs), minimize);
}
@Nonnull
public static
CompactDFA randomDFA(
Random rand,
@Nonnegative
int numStates,
Alphabet inputs) {
return randomDFA(rand, numStates, inputs, true);
}
@Nonnull
public static
CompactMealy randomMealy(
Random rand,
@Nonnegative
int numStates,
Alphabet inputs,
Collection outputs,
boolean minimize) {
return randomDeterministic(rand, numStates, inputs, Collections.singleton(null), outputs, new CompactMealy(inputs), minimize);
}
@Nonnull
public static
CompactMealy randomMealy(
Random rand,
@Nonnegative
int numStates,
Alphabet inputs,
Collection outputs) {
return randomMealy(rand, numStates, inputs, outputs, true);
}
@Nonnull
private final Random random;
public RandomAutomata() {
this(new Random());
}
public RandomAutomata(Random random) {
this.random = random;
}
@Nonnull
public >
A randomDeterministic(
@Nonnegative
int numStates,
Collection inputs,
@Nullable
Collection stateProps,
@Nullable
Collection transProps,
A out) {
return randomDeterministic(this.random, numStates, inputs, stateProps, transProps, out);
}
@Nonnull
public >
A randomDeterministic(
@Nonnegative
int numStates,
Collection inputs,
@Nullable
Collection stateProps,
@Nullable
Collection transProps,
A out, boolean minimize) {
return randomDeterministic(this.random, numStates, inputs, stateProps, transProps, out, minimize);
}
@Nonnull
public
CompactDFA randomDFA(
@Nonnegative
int numStates,
Alphabet inputs,
boolean minimize) {
return randomDFA(this.random, numStates, inputs, minimize);
}
@Nonnull
public
CompactDFA randomDFA(
@Nonnegative
int numStates,
Alphabet inputs) {
return randomDFA(this.random, numStates, inputs);
}
@Nonnull
public
CompactMealy randomMealy(
@Nonnegative
int numStates,
Alphabet inputs,
Collection outputs,
boolean minimize) {
return randomMealy(this.random, numStates, inputs, outputs, minimize);
}
@Nonnull
public
CompactMealy randomMealy(
@Nonnegative
int numStates,
Alphabet inputs,
Collection outputs) {
return randomMealy(this.random, numStates, inputs, outputs);
}
}