de.up.ling.irtg.automata

Class Determinizer<State>

java.lang.Object

de.up.ling.irtg.automata.Determinizer<State>

Type Parameters:

State -

public class Determinizer<State>
extends Object

This class constructs a bottom-up deterministic automaton from a given tree automaton, each instance is only applicable for a single automaton. Note that the states of this automaton will corrspond to subsets of the states of the original automaton and the automaton may grow by an exponential factor.

Author:

koller

Constructor Summary

Constructors

Constructor and Description
Determinizer(TreeAutomaton<State> originalAutomaton) Creates a new instance for the given instance.

Method Summary

Modifier and Type	Method and Description
TreeAutomaton<Set<State>>	determinize(List<IntSet> newStateToOldStateSet) Returns a bottom up deterministic tree automaton for the underlying automaton.

Methods inherited from class java.lang.Object

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

Constructor Detail

Determinizer

public Determinizer(TreeAutomaton<State> originalAutomaton)

Creates a new instance for the given instance.

Parameters:

originalAutomaton -

Method Detail

determinize

public TreeAutomaton<Set<State>> determinize(List<IntSet> newStateToOldStateSet)

Returns a bottom up deterministic tree automaton for the underlying automaton.

Parameters:

newStateToOldStateSet - a list which contains the set any new state corresponds to after the algorithm finishes (set) is cleared by algorithm before adding sets. If the new state has id x then the corresponding set will be in newStateToOldStateSet.get(x). First entry is null.

Returns: