de.ls5.jlearn.util
Class AutomatonTransformationUtil

java.lang.Object
  de.ls5.jlearn.util.AutomatonTransformationUtil

public abstract class AutomatonTransformationUtil
extends Object

Constructor Summary

AutomatonTransformationUtil()

Method Summary

abstract Automaton	mergeStates(State source, State target)
abstract Automaton	mergeStates(Symbol input)
abstract Automaton	removeInputOutputTransitions(Map<Symbol,Symbol> transitions, boolean removeUnreachableStates)
abstract Automaton	removeInputTransitions(Automaton _automaton, Set<Symbol> inputTransitions, boolean removeUnreachableStates) Removes all transitions that got an input that equals one of the provided inputTransitions.
static Automaton	removeOutputTransitions(Automaton _automaton, Set<Symbol> outputTransitions, boolean removeUnreachableStates) Removes all transitions that are got an output that equals one of the provided outputTransitions.
static Automaton	removeReflexiveTransitions(Automaton _automaton) Removes all reflexive edges from the automaton.
abstract Automaton	removeState(State state)
abstract Automaton	removeStateWithOutputBehavior(Symbol outputBehavior)
static Automaton	replaceInputOutputBehavior(Automaton _automaton, Map<Symbol,Symbol> behavior)

Methods inherited from class java.lang.Object

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

Constructor Detail

AutomatonTransformationUtil

public AutomatonTransformationUtil()

Method Detail

removeInputTransitions

public abstract Automaton removeInputTransitions(Automaton _automaton,
                                                 Set<Symbol> inputTransitions,
                                                 boolean removeUnreachableStates)

Removes all transitions that got an input that equals one of the provided inputTransitions. If parameter removeUnreachableStates is set to true states that are not reachable from the start state will also be removed.

Parameters:

_automaton -

inputTransitions -

removeUnreachableStates -

Returns:

removeReflexiveTransitions

public static Automaton removeReflexiveTransitions(Automaton _automaton)

Removes all reflexive edges from the automaton.

Parameters:

_automaton -

Returns:

removeOutputTransitions

public static Automaton removeOutputTransitions(Automaton _automaton,
                                                Set<Symbol> outputTransitions,
                                                boolean removeUnreachableStates)

Removes all transitions that are got an output that equals one of the provided outputTransitions. If parameter removeUnreachableStates is set to true states that are not reachable from the start state will also be removed.

Parameters:

_automaton -

outputTransitions -

removeUnreachableStates -

Returns:

replaceInputOutputBehavior

public static Automaton replaceInputOutputBehavior(Automaton _automaton,
                                                   Map<Symbol,Symbol> behavior)

removeInputOutputTransitions

public abstract Automaton removeInputOutputTransitions(Map<Symbol,Symbol> transitions,
                                                       boolean removeUnreachableStates)

Parameters:

transitions -

removeUnreachableStates -

Returns:

removeState

public abstract Automaton removeState(State state)

Parameters:

state -

Returns:

removeStateWithOutputBehavior

public abstract Automaton removeStateWithOutputBehavior(Symbol outputBehavior)

Parameters:

outputBehavior -

Returns:

mergeStates

public abstract Automaton mergeStates(State source,
                                      State target)

Parameters:

source -

target -

Returns:

mergeStates

public abstract Automaton mergeStates(Symbol input)

Parameters:

input -

Returns: