nextStates (
        self,
        state,
        input,
        )

makeStateTable ( self,  default=None )

Initialization

tuple ( self )

collectStates (
        self,
        transitions,
        initialState,
        finalStates,
        )

complement ( self )

FSA operations

labels ( self )

Returns a list of transition labels.

determinized ( self )

Returns a deterministic FSA that accepts the same language.

minimized ( self )

Returns a minimal FSA that accepts the same language.

initializeTransitionTables ( self )

coerce ( self,  klass )

hasArcMetadata ( self )

Arc Metadata Accessors

__str__ ( self )

stateLabelString ( self,  state )

A template method for specifying a state's label, for use in dot diagrams. If this returns None, the default (the string representation of the state) is used.

labelMatches (
        self,
        label,
        input,
        )

Accepting

computeEpsilonClosure ( self,  state )

sorted ( self,  initial=0 )

Reductions

copy ( self,  *args )

addArcMetadataFor (
        self,
        transition,
        data,
        )

__init__ (
        self,
        states,
        alphabet,
        transitions,
        initialState,
        finalStates,
        arcMetadata=[],
        )

getArcMetadata ( self )

setArcMetadataFor (
        self,
        transition,
        data,
        )

withoutEpsilons ( self )

addArcMetadata ( self,  list )

epsilonClosure ( self,  state )

Accessors

additionalTransitionInfoString ( self,  transition )

create ( self,  *args )

Copying

isEmpty ( self )

Predicates

accepts ( self,  sequence )

getArcMetadataFor (
        self,
        transition,
        default=None,
        )

nextState (
        self,
        state,
        input,
        )

trimmed ( self )

Returns an equivalent FSA that doesn't include unreachable states, or states that only lead to dead states.

isFSA ( self )

creationArgs ( self )

__repr__ ( self )

Presentation Methods

setArcMetadata ( self,  list )

nextAvailableState ( self )

computeEpsilonClosures ( self )

view ( self )

nextStateSet (
        self,
        states,
        input,
        )

toDotString ( self )

Returns a string that can be printed by the DOT tool at http://www.research.att.com/sw/tools/graphviz/ .

transitionsFrom ( self,  state )