Class MapFABuilder

constructor

• new MapFABuilder(maxNodes?: number): MapFABuilder

• Parameters

  • maxNodes: number = Infinity

  Returns MapFABuilder

Readonly finals

Readonly initial

createNode

• createNode(): MapFABuilderNode

• Creates a new state.

  Returns MapFABuilderNode

  Throws

  TooManyNodesError May be thrown if the number of created nodes exceeds some limit.

isFinal

• isFinal(state: MapFABuilderNode): boolean

• Returns whether the given state is a final state.

  This operation is assumed to be semantically equivalent to isFinal.

  Parameters

  • state: MapFABuilderNode

  Returns boolean

linkNodes

• linkNodes(from: MapFABuilderNode, to: MapFABuilderNode, transition: CharSet): void

• Links to the two given states using the given transition.

  Calling this operations more than once for the given from and to states is not guaranteed to succeed.

  Parameters

  • from: MapFABuilderNode

  • to: MapFABuilderNode

  • transition: CharSet

  Returns void

makeFinal

• makeFinal(state: MapFABuilderNode): void

• Makes the given state behave like a final state of this FA.

  This does not necessarily mean that the given state will be a final state. I.e. calling makeFinal(s) does not necessitate that isFinal(s) is true.

  The implementation has to guarantee that calling this method for the same state more than once is allowed.

  Parameters

  • state: MapFABuilderNode

  Returns void