nfadfa

type DFA struct {
	Start  *DFAState
	States []*DFAState
}

type DFAState struct {
	ID          uint32
	Transitions map[any]*DFAState
	Accept      bool
	NFAStates   []*NFAState
	Data        any
}

type NFA struct {
	Start  *NFAState
	States []*NFAState
}

type NFAState struct {
	// ID of the state.
	// It is assigned by the NFA and should be read-only.
	ID uint32

	// Transitions of the state.
	// Transitions should only be added using NFA.AddTransitions.
	Transitions map[any][]*NFAState

	// Accept indicates that the state machine should accept/recognize the input.
	// You set this yourself.
	Accept bool

	// Data is some user-data associated with this state.
	// Your set this yourself (or don't, I don't care).
	Data any
}