Package eu.bandm.tools.lexic

Class Automaton<L,T>

java.lang.Object

eu.bandm.tools.lexic.Automaton<L,T>

Type Parameters:

L - the type of labels of this automaton

T - the type of transitions of this automaton

All Implemented Interfaces:

FormatClient, Serializable

Direct Known Subclasses:

DAutomaton, NAutomaton

public abstract class Automaton<L,T>
extends Object
implements FormatClient, Serializable

Base class of finite automata.

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static final class	Automaton.State	State of an automaton.
static interface	Automaton.Trace<L>	Iterator-like mutable API for tracking the consumption of an input sequence of code points by an automaton.
protected class	Automaton.Transformer<B,R>	Base class for depth-first-search transformers.

Field Summary

Fields

Modifier and Type	Field	Description
protected final Automaton.State	initial	The initial state of the automaton.
protected final Map<Automaton.State,Behavior<L,T>>	table	The behavioral table of the automaton.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Automaton(Automaton.State initial, Map<Automaton.State,Behavior<L,T>> table)	Creates a new instance.

Method Summary

Modifier and Type	Method	Description
int	countStates()	Returns the number of states of this automaton.
int	countTransitions()	Returns the number of transitions of this automaton.

Methods inherited from class java.lang.Object

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

Methods inherited from interface eu.bandm.tools.format.spi.FormatClient

format

Field Details

initial

protected final Automaton.State initial

The initial state of the automaton.

table

protected final Map<Automaton.State,Behavior<L,T>> table

The behavioral table of the automaton.

Constructor Details

Automaton

protected Automaton(Automaton.State initial,
 Map<Automaton.State,Behavior<L,T>> table)

Creates a new instance.

The caller must ensure that the given behavioral table is closed, i.e., the initial state and all states that occur in behavior values do also occur as keys. That property is essential for correct operation, but not checked by this constructor.

Parameters:

initial - the initial state of the automaton

table - the behavioral table of the automaton

Method Details

countStates

public int countStates()

Returns the number of states of this automaton.

Returns:

the number of states of this automaton

countTransitions

public int countTransitions()

Returns the number of transitions of this automaton.

Returns:

the number of transitions of this automaton