Class Converter
Static class for conversion between different types of finite state automata.
Inherited Members
Namespace: Automata.Core
Assembly: Automata.Core.dll
Syntax
public static class Converter
Methods
| Edit this page View SourceAsDeterministic(Fsa)
Returns fsa
as a deterministic automaton (FsaDet).
Return the same instance if it already is of the desired type.
Otherwise, a new object of the desired type is created.
Declaration
public static FsaDet AsDeterministic(this Fsa fsa)
Parameters
Type | Name | Description |
---|---|---|
Fsa | fsa | Finite state automaton to convert. |
Returns
Type | Description |
---|---|
FsaDet |
|
Remarks
Effective conversion: NFA → DFA, DFA → DFA, MFA → MFA.
AsMfa(Fsa)
Returns fsa
as a Mfa.
Return the same instance if it already is of the desired type.
Otherwise, a new object of the desired type is created.
Declaration
public static Mfa AsMfa(this Fsa fsa)
Parameters
Type | Name | Description |
---|---|---|
Fsa | fsa | Finite state automaton to convert. |
Returns
Type | Description |
---|---|
Mfa |
|
AsNfa(Fsa)
Returns fsa
as a Nfa.
Return the same instance if it already is of the desired type.
Otherwise, a new object of the desired type is created.
Declaration
public static Nfa AsNfa(this Fsa fsa)
Parameters
Type | Name | Description |
---|---|---|
Fsa | fsa | Finite state automaton to convert. |
Returns
Type | Description |
---|---|
Nfa |
|