cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying
Interface AutomatonSimplifier<T>

All Known Implementing Classes:

Chained, DefectiveMDL, Determinist, Greedy, GreedyMDL, HeuristicMDL, KHgrams, Minimize, SimplifierNull, UserInteractive

public interface AutomatonSimplifier<T>

Interface for simplifying automaton - given PTA should return something reasonable sized, accepting more general language.

Method Summary

Automaton<T>	simplify(Automaton<T> inputAutomaton, SymbolToString<T> symbolToString) Simplify an automaton.
Automaton<T>	simplify(Automaton<T> inputAutomaton, SymbolToString<T> symbolToString, List<List<T>> inputStrings) Simplify an automaton.
Automaton<T>	simplify(Automaton<T> inputAutomaton, SymbolToString<T> symbolToString, String elementName) Simplify an automaton.
Automaton<T>	simplify(Automaton<T> inputAutomaton, SymbolToString<T> symbolToString, String elementName, List<List<T>> inputStrings) Simplify an automaton.

Method Detail

simplify

Automaton<T> simplify(Automaton<T> inputAutomaton,
                      SymbolToString<T> symbolToString)
                      throws InterruptedException

Simplify an automaton.

Parameters:

inputAutomaton - automaton to process

symbolToString - converter of symbols (of type T) to string - for rendering automaton to user

Returns:

new automaton, which accepts more general language and is simple in design

Throws:

InterruptedException

simplify

Automaton<T> simplify(Automaton<T> inputAutomaton,
                      SymbolToString<T> symbolToString,
                      String elementName)
                      throws InterruptedException

Simplify an automaton.

Parameters:

inputAutomaton - automaton to process

symbolToString - converter of symbols (of type T) to string - for rendering automaton to user

Returns:

new automaton, which accepts more general language and is simple in design

Throws:

InterruptedException

simplify

Automaton<T> simplify(Automaton<T> inputAutomaton,
                      SymbolToString<T> symbolToString,
                      List<List<T>> inputStrings)
                      throws InterruptedException

Simplify an automaton.

Parameters:

inputAutomaton - automaton to process

symbolToString - converter of symbols (of type T) to string - for rendering automaton to user

Returns:

new automaton, which accepts more general language and is simple in design

Throws:

InterruptedException

simplify

Automaton<T> simplify(Automaton<T> inputAutomaton,
                      SymbolToString<T> symbolToString,
                      String elementName,
                      List<List<T>> inputStrings)
                      throws InterruptedException

Simplify an automaton.

Parameters:

inputAutomaton - automaton to process

symbolToString - converter of symbols (of type T) to string - for rendering automaton to user

Returns:

new automaton, which accepts more general language and is simple in design

Throws:

InterruptedException