org.processmining.ltl2automaton.plugins.automaton

Class DFAOperations

java.lang.Object

org.processmining.ltl2automaton.plugins.automaton.NDFAOperations

org.processmining.ltl2automaton.plugins.automaton.DFAOperations

public class DFAOperations
extends NDFAOperations

Constructor Summary

Constructors

Constructor and Description
DFAOperations(java.lang.Class<? extends AutomatonFactory> factoryClass)

Method Summary

Modifier and Type	Method and Description
DeterministicAutomaton	complete(DeterministicAutomaton a) Return an automaton accepting the same language as a, but where every transition is fully specified.
static DFAOperations	getInstance()
TransitionMatrix	getTransitionMatrix(DeterministicAutomaton aa) Return transition matrix (state# -> transition# -> state#).
DeterministicAutomaton	intersect(DeterministicAutomaton a, DeterministicAutomaton b) Construct the synchronized product of the two automata (i.e., the automaton accepting the intersection of the languages accepted by the two automata).
DeterministicAutomaton	minimize(DeterministicAutomaton a) Return a (possibly smaller) automaton accepting the same language as a.
DeterministicAutomaton	minimizeSimple(DeterministicAutomaton aa) Return a (possibly smaller) automaton accepting the same language as a.
DeterministicAutomaton	negate(DeterministicAutomaton aa) Return an automaton accepting the complement of the language accepted by a.
DeterministicAutomaton	union(DeterministicAutomaton a, DeterministicAutomaton b) Construct the synchronized product of the two automata (i.e., the automaton accepting the union of the languages accepted by the two automata).

Methods inherited from class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations

copyState, copyStates, copyTransition, copyTransitions, determinize, getLabels, getLabels, getMaxId, intersect, isAll, isEmpty, negate, newFactory, reduce, union

Methods inherited from class java.lang.Object

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

Constructor Detail

DFAOperations

public DFAOperations(java.lang.Class<? extends AutomatonFactory> factoryClass)

Method Detail

getInstance

public static DFAOperations getInstance()

complete

public DeterministicAutomaton complete(DeterministicAutomaton a)

Return an automaton accepting the same language as a, but where every transition is fully specified. The parameter is not modified.

Parameters:

a -

Returns:

getTransitionMatrix

public TransitionMatrix getTransitionMatrix(DeterministicAutomaton aa)

Return transition matrix (state# -> transition# -> state#). Input must be completed.

Parameters:

a -

Returns:

intersect

public DeterministicAutomaton intersect(DeterministicAutomaton a,
                                        DeterministicAutomaton b)

Construct the synchronized product of the two automata (i.e., the automaton accepting the intersection of the languages accepted by the two automata).

Parameters:

a -

b -

Returns:

minimize

public DeterministicAutomaton minimize(DeterministicAutomaton a)

Return a (possibly smaller) automaton accepting the same language as a. The parameter is not modified. TODO - use minimizeSimple for now (worse execution time). Input must be completed.

Parameters:

a -

Returns:

minimizeSimple

public DeterministicAutomaton minimizeSimple(DeterministicAutomaton aa)

Return a (possibly smaller) automaton accepting the same language as a. The parameter is not modified. Input must be completed.

Parameters:

a -

Returns:

negate

public DeterministicAutomaton negate(DeterministicAutomaton aa)

Return an automaton accepting the complement of the language accepted by a. The parameter is not modified. Assumes the automaton is completed (i.e., call complete if you are not sure).

Parameters:

a -

Returns:

union

public DeterministicAutomaton union(DeterministicAutomaton a,
                                    DeterministicAutomaton b)

Construct the synchronized product of the two automata (i.e., the automaton accepting the union of the languages accepted by the two automata).

Parameters:

a -

b -

Returns: