machine

Types

pub type NFA {
  NFA(
    states: dict.Dict(String, state.State),
    initial_state: String,
    ending_states: List(String),
  )
}

NFA(
  states: dict.Dict(String, state.State),
  initial_state: String,
  ending_states: List(String),
)

</>

pub type StackValue {
  StackValue(i: Int, state: state.State)
}

</>

pub fn add_state(nfa: NFA, name: String) -> NFA

</>

pub fn add_transition(
  nfa: NFA,
  from: String,
  to: String,
  matcher: Matcher,
) -> NFA

</>

pub fn declare_states(nfa: NFA, names: List(String)) -> NFA

</>

pub fn evaluate(nfa: NFA, input: String) -> Bool

</>

pub fn new() -> NFA

</>

pub fn set_ending_states(nfa: NFA, values: List(String)) -> NFA

</>

pub fn set_initial_state(nfa: NFA, state: String) -> NFA