Class Journey::NFA::TransitionTable
In: lib/journey/nfa/transition_table.rb
Parent: Object

Methods

[]=   accepting?   accepting_states   add_memo   alphabet   eclosure   following_states   generalized_table   memo   merge   move   new   states   transitions  

Included Modules

Journey::NFA::Dot

Attributes

accepting  [RW] 
memos  [R] 

Public Class methods

Public Instance methods

eclosure(t)

Returns a set of NFA states reachable from some NFA state s in set t on nil-transitions alone.

following_states(t, a)

Returns set of NFA states to which there is a transition on ast symbol a from some state s in t.

generalized_table()

Returns a generalized transition graph with reduced states. The states are reduced like a DFA, but the table must be simulated like an NFA.

Edges of the GTG are regular expressions

move(t, a)

Returns set of NFA states to which there is a transition on ast symbol a from some state s in t.

[Validate]