class Panini::Automaton::NonDeterministic

• Panini::Automaton::NonDeterministic
• Panini::Automaton::Finite
• Reference
• Object

Defined in:

automaton.cr

Constructors

• .new(states, symbols : Set(Char), transitions, start_state, accepting_states)

Instance Method Summary

• #acceptors : Set(State)
• #current : Set(State)
• #epsilon_closure(state_set : Set(State))
• #epsilon_closure(state : State)
• #start : Set(State)
• #states : Set(State)
• #symbols : Set(Char)
• #to_dfa
• #transitions : Hash(State, Hash(Char, Set(State)))

Constructor Detail

Instance Method Detail