Class Builder

An FA builder has the responsibility of constructing a finite automaton.

The constructed FA is always owned by the builder.

Hierarchy

Builder

Implements

FABuilder<NFA.Node, CharSet>

Index

Constructors

Properties

factory finals initial

Methods

createNode isFinal linkNodes makeFinal

Constructors

constructor

new Builder(factory: NodeFactory<NFA.Node>): NFA.Builder
Parameters
- factory: NodeFactory<NFA.Node>
Returns NFA.Builder

Properties

`Readonly` factory

factory: NodeFactory<NFA.Node>

`Readonly` finals

finals: Set<NFA.Node> = ...

`Readonly` initial

initial: NFA.Node

The initial state of the FA.

Methods

createNode

createNode(): NFA.Node
Creates a new state.

Returns NFA.Node

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

Implementation of FABuilder.createNode

isFinal

isFinal(state: NFA.Node): boolean
Returns whether the given state is a final state.

This operation is assumed to be semantically equivalent to isFinal.
Parameters
- state: NFA.Node
Returns boolean

Implementation of FABuilder.isFinal

linkNodes

linkNodes(from: NFA.Node, to: NFA.Node, 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: NFA.Node
- to: NFA.Node
- transition: CharSet
Returns void

Implementation of FABuilder.linkNodes

makeFinal

makeFinal(state: NFA.Node): 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: NFA.Node
Returns void

Implementation of FABuilder.makeFinal