Interface IFsa

Finite state automaton (FSA) interface.

Namespace: Automata.Core
Assembly: Automata.Core.dll
Syntax
public interface IFsa

Properties

| Edit this page View Source

Alphabet

Alphabet used by the FSA.

Declaration
IAlphabet Alphabet { get; }
Property Value
Type Description
IAlphabet
| Edit this page View Source

IsEmpty

Indicates whether the FSA is empty, meaning it has no states or transitions.

Declaration
bool IsEmpty { get; }
Property Value
Type Description
bool
| Edit this page View Source

IsEpsilonFree

Indicates whether the FSA is epsilon-free.

Declaration
bool IsEpsilonFree { get; }
Property Value
Type Description
bool

Methods

| Edit this page View Source

EpsilonTransitions()

Epsilon transitions of the FSA.

Declaration
IEnumerable<EpsilonTransition> EpsilonTransitions()
Returns
Type Description
IEnumerable<EpsilonTransition>
| Edit this page View Source

IsFinal(int)

Indicates whether the specified state is a final state.

Declaration
bool IsFinal(int state)
Parameters
Type Name Description
int state

State to check.
Returns
Type Description
bool

true iff the specified state is a final state.
| Edit this page View Source

IsInitial(int)

Indicates whether the specified state is an initial state.

Declaration
bool IsInitial(int state)
Parameters
Type Name Description
int state

State to check.
Returns
Type Description
bool

true iff the specified state is an initial state.
| Edit this page View Source

SymbolicTransitions()

Transitions of the FSA.

Declaration
IEnumerable<Transition> SymbolicTransitions()
Returns
Type Description
IEnumerable<Transition>