de.up.ling.irtg.automata.condensed

Class CondensedNondeletingInverseHomAutomaton<State>

java.lang.Object

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

de.up.ling.irtg.automata.condensed.CondensedTreeAutomaton<Object>

de.up.ling.irtg.automata.condensed.CondensedNondeletingInverseHomAutomaton<State>

All Implemented Interfaces:

Intersectable<Object>, Serializable

public class CondensedNondeletingInverseHomAutomaton<State>
extends CondensedTreeAutomaton<Object>

A tree automaton that describes the homomorphic pre-image of the language of another tree automaton. This class only functions correctly if the homomorphism is non-deleting. This automaton has the same states as the base automaton, converted into strings.

Author:

koller

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class de.up.ling.irtg.automata.TreeAutomaton

TreeAutomaton.BottomUpStateVisitor

Field Summary

Fields inherited from class de.up.ling.irtg.automata.TreeAutomaton

D, DEBUG_STORE

Constructor Summary

Constructors

Constructor and Description
CondensedNondeletingInverseHomAutomaton(TreeAutomaton<State> rhsAutomaton, Homomorphism hom)

Method Summary

Modifier and Type	Method and Description
int	addLabelSetID(IntSet labels)
Iterable<CondensedRule>	getCondensedRulesBottomUp(IntSet labelId, int[] childStates)
Iterable<CondensedRule>	getCondensedRulesByParentState(int parentState) This class should be used with this method for greatest efficency (eg in IntersectionAutomaton).
Set<CondensedRule>	getCondensedRulesTopDown(IntSet labelId, int parentState)
IntSet	getLabelsForID(int labelSetID)
boolean	isBottomUpDeterministic() Determines whether the automaton is deterministic if read as a bottom-up automaton.
static void	main(String[] args)
void	makeAllRulesCondensedExplicit() Stores all information about CondensedRules in the ruleTrie and topDownRules structures.
boolean	supportsBottomUpQueries()
boolean	supportsTopDownQueries()

Methods inherited from class de.up.ling.irtg.automata.condensed.CondensedTreeAutomaton

addLabelSetID, addState, createRule, createRule, createRule, createRule, createRuleRaw, getCondensedRulesBottomUpFromExplicit, getCondensedRuleSet, getCondensedRulesForRhsState, getRulesBottomUp, getRulesTopDown, toString, toStringFull

Methods inherited from class de.up.ling.irtg.automata.TreeAutomaton

accepts, acceptsRaw, analyze, asConcreteTreeAutomaton, asConcreteTreeAutomatonBottomUp, asConcreteTreeAutomatonWithStringStates, countTrees, createRule, createRule, createRule, createRule, createRule, createRule, determinize, determinize, dumpToFile, equals, evaluateInSemiring, evaluateInSemiring, evaluateInSemiringTopDown, foreachRuleBottomUpForSets, foreachRuleTopDown, foreachStateInBottomUpOrder, getAllLabels, getAllRulesTopDown, getAllStates, getFinalStates, getIdForState, getLabelsTopDown, getNumberOfRules, getNumberOfSeenStates, getRandomRuleTree, getRandomRuleTreeFromInside, getRandomTree, getRandomTreeFromInside, getReachableStates, getRulesBottomUp, getRulesBottomUp, getRuleSet, getRulesForRhsState, getRulesTopDown, getRuleTree, getSignature, getStateForId, getStateInterner, getStatesInBottomUpOrder, getStoredConstantsForID, getWeight, getWeightRaw, hasRuleWithPrefix, hasStoredConstants, homomorphism, inside, intersect, intersect, intersectBottomUp, intersectCondensed, intersectCondensed, intersectCondensed, intersectCondensedBottomUp, intersectCondensedBottomUp, intersectEarley, intersectViterbi, intersectViterbi, inverseCondensedHomomorphism, inverseHomomorphism, isCyclic, isEmpty, isStoring, language, languageIterable, languageIterator, languageIteratorRaw, languageRaw, makeAllRulesExplicit, newSiblingFinder, normalizeRuleWeights, outside, processAllRulesBottomUp, processAllRulesTopDown, reduceTopDown, run, run, runRaw, setRulePrintingFilter, setSkipFail, setStoring, sortedLanguageIterator, toStringBottomUp, useSiblingFinder, viterbi, viterbiRaw, write

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CondensedNondeletingInverseHomAutomaton

public CondensedNondeletingInverseHomAutomaton(TreeAutomaton<State> rhsAutomaton,
                                               Homomorphism hom)

Method Detail

getCondensedRulesByParentState

public Iterable<CondensedRule> getCondensedRulesByParentState(int parentState)

This class should be used with this method for greatest efficency (eg in IntersectionAutomaton). Returns an Iterable over CondensedRules, that have the given parentSate. Calculation happens on the fly, there is no caching involved, because usually this method is called only once for each parentState.

Overrides:

getCondensedRulesByParentState in class CondensedTreeAutomaton<Object>

Parameters:

parentState -

Returns:

addLabelSetID

public int addLabelSetID(IntSet labels)

Overrides:

addLabelSetID in class CondensedTreeAutomaton<Object>

getLabelsForID

public IntSet getLabelsForID(int labelSetID)

Overrides:

getLabelsForID in class CondensedTreeAutomaton<Object>

makeAllRulesCondensedExplicit

public void makeAllRulesCondensedExplicit()

Description copied from class: CondensedTreeAutomaton

Stores all information about CondensedRules in the ruleTrie and topDownRules structures. Should only be executed if the isCondensedExplicit variable is set false.

Specified by:

makeAllRulesCondensedExplicit in class CondensedTreeAutomaton<Object>

main

public static void main(String[] args)
                 throws Exception

Throws:

Exception

isBottomUpDeterministic

public boolean isBottomUpDeterministic()

Description copied from class: TreeAutomaton

Determines whether the automaton is deterministic if read as a bottom-up automaton.

Overrides:

isBottomUpDeterministic in class CondensedTreeAutomaton<Object>

Returns:

getCondensedRulesBottomUp

public Iterable<CondensedRule> getCondensedRulesBottomUp(IntSet labelId,
                                                         int[] childStates)

Specified by:

getCondensedRulesBottomUp in class CondensedTreeAutomaton<Object>

getCondensedRulesTopDown

public Set<CondensedRule> getCondensedRulesTopDown(IntSet labelId,
                                                   int parentState)

Specified by:

getCondensedRulesTopDown in class CondensedTreeAutomaton<Object>

supportsBottomUpQueries

public boolean supportsBottomUpQueries()

Overrides:

supportsBottomUpQueries in class TreeAutomaton<Object>

supportsTopDownQueries

public boolean supportsTopDownQueries()

Overrides:

supportsTopDownQueries in class TreeAutomaton<Object>