net.automatalib.automata.vpda

Interface OneSEVPA<L,I>

Type Parameters:

L - location type

I - input alphabet type

All Superinterfaces:

AcceptorTS<State<L>,I>, DeterministicAcceptorTS<State<L>,I>, DeterministicTransitionSystem<State<L>,I,State<L>>, Output<I,Boolean>, SimpleDTS<State<L>,I>, SimpleTS<State<L>,I>, SuffixOutput<I,Boolean>, TransitionSystem<State<L>,I,State<L>>, UniversalDTS<State<L>,I,State<L>,Boolean,Void>, UniversalTransitionSystem<State<L>,I,State<L>,Boolean,Void>

public interface OneSEVPA<L,I>
extends DeterministicAcceptorTS<State<L>,I>, SuffixOutput<I,Boolean>

Interface for the 1-SEVPA (1-single entry visibly push-down automaton), a visibly push-down automaton of specific structure and semantics. Additionally -- unless specified other by an implementation -- this interface only accepts well-matched words.

For more information on the semantics of VPAs see e.g. "Congruences for Visibly Pushdown Languages" by Alur, Kumar, Madhusudan and Viswanathan.

Author:

Malte Isberner

Method Summary

Modifier and Type	Method and Description
default Boolean	computeOutput(Iterable<? extends I> input)
default Boolean	computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)
int	encodeStackSym(L srcLoc, I callSym)
L	getInitialLocation()
default State<L>	getInitialState() Retrieves the initial state of this transition system.
L	getInternalSuccessor(L loc, I intSym)
L	getLocation(int id)
int	getLocationId(L loc)
List<L>	getLocations()
int	getNumStackSymbols()
L	getReturnSuccessor(L loc, I retSym, int stackSym)
default boolean	isAccepting(State<L> state) Checks whether the given state is accepting.
boolean	isAcceptingLocation(L loc)
int	size()

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

accepts, isAccepting

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

getStateProperty, getSuccessor, getTransitionProperty

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, transToSet

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

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

getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Method Detail

encodeStackSym

int encodeStackSym(L srcLoc,
                   I callSym)

getInternalSuccessor

L getInternalSuccessor(L loc,
                       I intSym)

getLocation

L getLocation(int id)

getLocationId

int getLocationId(L loc)

getLocations

List<L> getLocations()

getNumStackSymbols

int getNumStackSymbols()

getReturnSuccessor

L getReturnSuccessor(L loc,
                     I retSym,
                     int stackSym)

size

int size()

computeOutput

default Boolean computeOutput(Iterable<? extends I> input)

Specified by:

computeOutput in interface DeterministicAcceptorTS<State<L>,I>

Specified by:

computeOutput in interface Output<I,Boolean>

Specified by:

computeOutput in interface SuffixOutput<I,Boolean>

computeSuffixOutput

default Boolean computeSuffixOutput(Iterable<? extends I> prefix,
                                    Iterable<? extends I> suffix)

Specified by:

computeSuffixOutput in interface SuffixOutput<I,Boolean>

isAccepting

default boolean isAccepting(State<L> state)

Description copied from interface: AcceptorTS

Checks whether the given state is accepting.

Specified by:

isAccepting in interface AcceptorTS<State<L>,I>

Parameters:

state - the state

Returns:

true if the state is accepting, false otherwise.

isAcceptingLocation

boolean isAcceptingLocation(L loc)

getInitialState

default State<L> getInitialState()

Description copied from interface: SimpleDTS

Retrieves the initial state of this transition system.

Specified by:

getInitialState in interface SimpleDTS<State<L>,I>

Returns:

the initial state.

See Also:

SimpleTS.getInitialStates()

getInitialLocation

L getInitialLocation()