Module net.automatalib.brics

Package net.automatalib.brics

Class BricsDFA

java.lang.Object

net.automatalib.brics.AbstractBricsAutomaton

net.automatalib.brics.BricsDFA

All Implemented Interfaces:

Iterable<State>, Automaton<State,Character,State>, Automaton.RegularAutomaton<State,Character,State>, DeterministicOutputAutomaton<State,Character,State,Boolean>, DeterministicSuffixOutputAutomaton<State,Character,State,Boolean>, FiniteRepresentation, InitialState<State>, InitialStates<State>, Output<Character,Boolean>, OutputAutomaton<State,Character,State,Boolean>, SuffixOutput<Character,Boolean>, DeterministicAutomaton<State,Character,State>, DeterministicAutomaton.RegularAutomaton<State,Character,State>, DFA<State,Character>, FiniteStateAcceptor<State,Character>, NFA<State,Character>, SimpleAutomaton<State,Character>, SimpleDeterministicAutomaton<State,Character>, UniversalAutomaton<State,Character,State,Boolean,Void>, UniversalAutomaton.RegularAutomaton<State,Character,State,Boolean,Void>, UniversalDeterministicAutomaton<State,Character,State,Boolean,Void>, UniversalDeterministicAutomaton.RegularAutomaton<State,Character,State,Boolean,Void>, GraphViewable, DeterministicFiniteSemantics, DeterministicSemantics, FiniteSemantics, Semantics, AcceptorTS<State,Character>, DeterministicAcceptorTS<State,Character>, DeterministicOutputTS<State,Character,State,Boolean>, DeterministicSuffixOutputTS<State,Character,State,Boolean>, OutputTS<State,Character,State,Boolean>, DeterministicTransitionSystem<State,Character,State>, SimpleDTS<State,Character>, SimpleTS<State,Character>, TransitionSystem<State,Character,State>, UniversalDTS<State,Character,State,Boolean,Void>, UniversalTransitionSystem<State,Character,State,Boolean,Void>

public class BricsDFA
extends AbstractBricsAutomaton
implements DFA<State,Character>

Adapter class for wrapping a Brics automaton as a DFA.

This adapter is backed by the Brics automaton, so changes to the Automaton are reflected. Please note that any changes which result in a loss of determinism will result in incorrect behavior exposed by this class until determinism is restored.

Nested Class Summary

Nested classes/interfaces inherited from class net.automatalib.brics.AbstractBricsAutomaton

AbstractBricsAutomaton.GraphView

Nested classes/interfaces inherited from interface net.automatalib.automaton.Automaton

Automaton.RegularAutomaton<S,I,T>

Nested classes/interfaces inherited from interface net.automatalib.automaton.DeterministicAutomaton

DeterministicAutomaton.RegularAutomaton<S,I,T>

Nested classes/interfaces inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor

FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>

Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalAutomaton

UniversalAutomaton.RegularAutomaton<S,I,T,SP,TP>

Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton

UniversalDeterministicAutomaton.RegularAutomaton<S,I,T,SP,TP>

Field Summary

Fields inherited from class net.automatalib.brics.AbstractBricsAutomaton

automaton

Fields inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor

STATE_PROPERTIES, TRANSITION_PROPERTIES

Constructor Summary

Constructors

Constructor	Description
BricsDFA(Automaton automaton)	Constructor.
BricsDFA(Automaton automaton, boolean totalize)	Constructor.

Method Summary

Modifier and Type	Method	Description
State	getInitialState()	Retrieves the initial state of a transition system.
State	getSuccessor(State state, Character input)	Retrieves the successor state reachable by the given input symbol.
State	getTransition(State state, Character input)	Retrieves the transition triggered by the given input symbol.

Methods inherited from class net.automatalib.brics.AbstractBricsAutomaton

getBricsAutomaton, getInitialStates, getStates, getTransitions, graphView, isAccepting

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.ts.acceptor.AcceptorTS

computeOutput, getStateProperty, getSuccessor, getTransitionProperty, isAccepting

Methods inherited from interface net.automatalib.ts.acceptor.DeterministicAcceptorTS

accepts, computeStateOutput, computeSuffixOutput, powersetView

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessors, getTransitions, powersetView

Methods inherited from interface net.automatalib.automaton.fsa.DFA

getSemantics, isAccepting

Methods inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor

getSemantics, transitionGraphView

Methods inherited from interface net.automatalib.automaton.concept.InitialState

getInitialStates

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton

createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getState, getStates, getSuccessor, getSuccessors

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

getSuccessors

Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton

fullIntAbstraction, fullIntAbstraction, stateIntAbstraction

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Constructor Details

BricsDFA

public BricsDFA(Automaton automaton)

Constructor. If the given Automaton is not deterministic, it will be automatically determinized by invoking Automaton.determinize().

Note: Brics automata may only be partially defined (especially when created from regular expressions). If you plan to use this wrapper in any structural analysis (e.g. for determining equivalence), consider using BricsDFA(Automaton, boolean) instead.

Parameters:

automaton - the Brics automaton to wrap.

BricsDFA

public BricsDFA(Automaton automaton,
 boolean totalize)

Constructor. If the given Automaton is not deterministic, it will be automatically determinized by invoking Automaton.determinize().

If the parameter totalize is set to true, an additional sink state will be added to the automaton and all otherwise undefined transitions will transition the automaton into the sink. Note: this mutates the original automaton.

Parameters:

automaton - the Brics automaton to wrap.

totalize - flag, indicating whether the automaton should have a total transition function.

Method Details

getInitialState

public State getInitialState()

Description copied from interface: InitialState

Retrieves the initial state of a transition system.

Specified by:

getInitialState in interface InitialState<State>

Returns:

the initial state

See Also:

• InitialStates.getInitialStates()

getSuccessor

public State getSuccessor(State state,
 Character input)

Description copied from interface: SimpleDTS

Retrieves the successor state reachable by the given input symbol.

Specified by:

getSuccessor in interface DeterministicTransitionSystem<State,Character,State>

Specified by:

getSuccessor in interface SimpleDTS<State,Character>

Parameters:

state - the source state.

input - the input symbol.

Returns:

the successor state reachable by the given input symbol, or null if no state is reachable by this symbol.

See Also:

• TransitionSystem.getSuccessors(Object, Object)

getTransition

public State getTransition(State state,
 Character input)

Description copied from interface: DeterministicTransitionSystem

Retrieves the transition triggered by the given input symbol.

Specified by:

getTransition in interface DeterministicTransitionSystem<State,Character,State>

Parameters:

state - the source state.

input - the input symbol.

Returns:

the transition triggered by the given input symbol, or null if no transition is triggered.

See Also:

• TransitionSystem.getTransitions(Object, Object)