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

Methods

Included Modules

Journey::NFA::Dot

Attributes

accepting  [RW] 
memos  [R] 

Public Class methods

Public Instance methods

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

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

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

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

[Validate]