nfabuilder

Documentation

Overview

Package nfabuilder implements some structures and functions to construct NFA.

Index

• type Fragment
  • func NewFragment() *Fragment
  • func (frg *Fragment) AddRule(from utils.State, c rune, next utils.State)
  • func (frg *Fragment) Build() *nfa.NFA
  • func (frg *Fragment) CreateSkeleton() (Skeleton *Fragment)
  • func (frg *Fragment) MergeRule(frg2 *Fragment) (synthesizedFrg *Fragment)

Types

type Fragment

type Fragment struct {
	I     utils.State // initial state
	F     mapset.Set  // accept states
	Rules nfarule.RuleMap
}

Fragment represents a fragment of NFA to construct a larger NFA.

func NewFragment

func NewFragment() *Fragment

NewFragment returns a new Fragment.

func (*Fragment) AddRule

func (frg *Fragment) AddRule(from utils.State, c rune, next utils.State)

AddRule add a new transition rule to the Fragment. Rule concept: State(from) -->[Symbol(c)]--> State(next)

func (*Fragment) Build

func (frg *Fragment) Build() *nfa.NFA

Build converts NFA fragments into a NFA, and returns it.

func (*Fragment) CreateSkeleton

func (frg *Fragment) CreateSkeleton() (Skeleton *Fragment)

CreateSkeleton returns a nfa fragment which has same transition rule as original fragment has. The initial state and accept state is set to default.

func (*Fragment) MergeRule

func (frg *Fragment) MergeRule(frg2 *Fragment) (synthesizedFrg *Fragment)

MergeRule returns a new NFA fragment into which the transition rules of original fragment and the fragment given in the argument are merged.