Interface IDfa

Common interface for deterministic finite automata, such as Dfa and Cfa.

Inherited Members

IFsa.Alphabet

IFsa.IsEmpty

IFsa.IsEpsilonFree

IFsa.IsInitial(int)

IFsa.IsFinal(int)

IFsa.SymbolicTransitions()

IFsa.EpsilonTransitions()

Namespace: Automata.Core

Assembly: Automata.Core.dll

Syntax

public interface IDfa : IFsa

Properties

InitialState

Initial state of the deterministic automaton.

Declaration

int InitialState { get; }

Property Value

Type	Description
int

Methods

State(int)

Read-only view of the state from the specified state.

Declaration

StateView State(int fromState)

Parameters

Type	Name	Description
int	fromState	State from which to get the state view.

Returns

Type	Description
StateView	A StateView representing the state view from the specified state.