Safely change a property of a state contained in this FSM. Before changing the property, this method makes sure that e.g., no other start state exists or that no other state already has the suggested name.

checkedChangeStateProperty

fun checkedChangeStateProperty(state: State, name: Int? = null, isStart: Boolean? = null, isAcceptingState: Boolean? = null)

Same as changeStateProperty but throws an IllegalStateException if the property could not be changed.

checkEdge

open fun checkEdge(state: State, edge: Edge)

This function is set as State.edgeCheck inside addState. In case the edge must not be added to the state, this function must throw an exception.

copy

open override fun copy(): NFA

Create a shallow copy

deepCopy

open fun deepCopy(): FSM

Creates a deep copy of this FSM to enable multiple independent branches of execution.

equals

open operator override fun equals(other: Any?): Boolean

Checks whether the given object is an FSM and whether it accepts the same language as this FSM

hashCode

open override fun hashCode(): Int

renameStatesToBeDifferentFrom

fun renameStatesToBeDifferentFrom(otherFsm: FSM)

toDfa

fun toDfa(): DFA

Compute the ε-closure for this ε-NFA and then use the powerset construction algorithm ( example) to convert it to a DFA

toDotString

fun toDotString(): String

Generates the string representing this FSM in DOT format. This allows a simple visualization of the resulting automaton.