nfa

Documentation

Index

• type NFA
  • func (nfa NFA) Accepts(word string) (bool, error)
• type StateSet
  • func NewEmptyStateSet() *StateSet
  • func NewStateSet(states []fsa.State) *StateSet
  • func (set *StateSet) AddState(q fsa.State) *StateSet
  • func (set StateSet) ContainsFinalState() bool
  • func (set *StateSet) Extend(stateSet StateSet) *StateSet

Types

type NFA

type NFA struct {
	fsa.FiniteAutomaton                              // {Q, Σ, F}
	Transitions         map[fsa.Transition]*StateSet // Funkcja przejść - δ: Q × Σ -> P(Q)
	InitialStates       *StateSet                    // Zbiór stanów początkowych S
}

NFA to struktura reprezentująca niedeterministyczny automat skończony

func (NFA) Accepts

func (nfa NFA) Accepts(word string) (bool, error)

Accepts sprawdza czy automat akceptuje dane wyrażenie

type StateSet

type StateSet struct {
	States map[fsa.State]bool
}

StateSet reprezentuje zbiór stanów

func NewEmptyStateSet

func NewEmptyStateSet() *StateSet

NewEmptyStateSet zwraca pusty zbiór stanów

func NewStateSet

func NewStateSet(states []fsa.State) *StateSet

NewStateSet zwraca zbiór stanów na podstawie podanej tablicy stanów

func (*StateSet) AddState

func (set *StateSet) AddState(q fsa.State) *StateSet

AddState dodaje stan do zbioru

func (StateSet) ContainsFinalState

func (set StateSet) ContainsFinalState() bool

ContainsFinalState sprawdza, czy w zbiorze występuje stan końcowy

func (*StateSet) Extend

func (set *StateSet) Extend(stateSet StateSet) *StateSet

Extend rozszerza istniejący zbiór stanów