automata

Feb 22, 2025

Changes in this version

+ var CmpState = generic.NewCompareFunc[State]()

+ var CmpSymbol = generic.NewCompareFunc[Symbol]()

+ var EqState = generic.NewEqualFunc[State]()

+ var EqSymbol = generic.NewEqualFunc[Symbol]()

+ var HashState = hash.HashFuncForInt[State](nil)

+ var HashSymbol = hash.HashFuncForInt32[Symbol](nil)

+ func NewSymbols(a ...Symbol) set.Set[Symbol]

type DFA

+ func CombineDFA(ds ...*DFA) (*DFA, [][]State)

+ func (d *DFA) Clone() *DFA

+ func (d *DFA) EliminateDeadStates() *DFA

+ func (d *DFA) ReindexStates() *DFA

+ func (d *DFA) String() string

+ func (d *DFA) Transitions() iter.Seq[*Transition[State]]

type NFA

+ func (n *NFA) Clone() *NFA

+ func (n *NFA) String() string

+ func (n *NFA) Transitions() iter.Seq[*Transition[[]State]]

type States

+ func NewStates(s ...State) States

+ type Transition struct

+ Next T

Jan 27, 2025

Changes in this version

type DFA

+ func (d *DFA) Equal(rhs *DFA) bool

type NFA

+ func (n *NFA) Equal(rhs *NFA) bool

type States

+ func (s States) Equal(rhs States) bool

type Symbols

+ func (s Symbols) Equal(rhs Symbols) bool

Jan 10, 2025

Changes in this version

type DFA

+ func (d *DFA) DOT() string

type NFA

+ func (n *NFA) DOT() string

Dec 14, 2024

Changes in this version

type DFA

+ func (d *DFA) Isomorphic(rhs *DFA) bool

type NFA

+ func (n *NFA) Isomorphic(rhs *NFA) bool

type Symbols

+ func (s Symbols) Equals(rhs Symbols) bool

Nov 22, 2022

Changes in this version

type DFA

+ func (d *DFA) WithoutDeadStates() *DFA

type NFA

+ func (n *NFA) Star() *NFA

Nov 19, 2022

Changes in this version

type NFA

+ func (n *NFA) Concat(ns ...*NFA) *NFA

+ func (n *NFA) Union(ns ...*NFA) *NFA

Nov 4, 2022

Changes in this version

type DFA

+ func (d *DFA) Minimize() *DFA

+ func (d *DFA) ToNFA() *NFA

Oct 19, 2022

Changes in this version

type DFA

+ func (d *DFA) Equals(dfa *DFA) bool

type NFA

+ func (n *NFA) Equals(nfa *NFA) bool

Oct 18, 2022

Changes in this version

type DFA

+ func (d *DFA) LastState() State

type NFA

+ func (n *NFA) LastState() State

Oct 18, 2022

Changes in this version

type DFA

+ Final States

+ Start State

+ func (d *DFA) Add(s State, a Symbol, next State)

+ func (d *DFA) Next(s State, a Symbol) State

+ func (d *DFA) States() States

+ func (d *DFA) Symbols() Symbols

type NFA

+ Final States

+ Start State

+ func (n *NFA) Add(s State, a Symbol, next States)

+ func (n *NFA) Next(s State, a Symbol) States

+ func (n *NFA) States() States

+ func (n *NFA) Symbols() Symbols

Oct 17, 2022

Changes in this version

type DFA

+ func (d *DFA) Join(dfa *DFA) States

+ func (d *DFA) UpdateFinal(final States)

type NFA

+ func (n *NFA) Join(nfa *NFA) States

+ func (n *NFA) UpdateFinal(final States)

Oct 13, 2022

Changes in this version

+ type DFA struct

+ func NewDFA(trans *DTrans, start State, final States) *DFA

+ func (d *DFA) Accept(s String) bool

+ func (d *DFA) Graphviz() string

+ type DTrans struct

+ func NewDTrans() *DTrans

+ func (t *DTrans) Add(s State, a Symbol, next State)

+ func (t *DTrans) Next(s State, a Symbol) State

+ func (t *DTrans) States() States

+ func (t *DTrans) Symbols() Symbols

+ type NFA struct

+ func NewNFA(trans *NTrans, start State, final States) *NFA

+ func (n *NFA) Accept(s String) bool

+ func (n *NFA) Graphviz() string

+ func (n *NFA) ToDFA() *DFA

+ type NTrans struct

+ func NewNTrans() *NTrans

+ func (t *NTrans) Add(s State, a Symbol, next States)

+ func (t *NTrans) Next(s State, a Symbol) States

+ func (t *NTrans) States() States

+ func (t *NTrans) Symbols() Symbols

+ type State int

+ type States []State

+ func (s States) Contains(t State) bool

+ func (s States) Equals(t States) bool

+ type String []Symbol

+ func ToString(s string) String

+ type Symbol rune

+ const E

+ type Symbols []Symbol

+ func (s Symbols) Contains(t Symbol) bool