Class: Journey::NFA::Visitor
- Inherits:
-
Visitors::Visitor
- Object
- Visitors::Visitor
- Journey::NFA::Visitor
- Defined in:
- lib/journey/nfa/builder.rb
Instance Method Summary collapse
-
#initialize(tt) ⇒ Visitor
constructor
A new instance of Visitor.
- #terminal(node) ⇒ Object
- #visit_CAT(node) ⇒ Object
- #visit_GROUP(node) ⇒ Object
- #visit_OR(node) ⇒ Object
Methods inherited from Visitors::Visitor
Constructor Details
#initialize(tt) ⇒ Visitor
Returns a new instance of Visitor.
7 8 9 10 |
# File 'lib/journey/nfa/builder.rb', line 7 def initialize tt @tt = tt @i = -1 end |
Instance Method Details
#terminal(node) ⇒ Object
50 51 52 53 54 55 56 57 58 59 |
# File 'lib/journey/nfa/builder.rb', line 50 def terminal node from_i = @i += 1 # new state to_i = @i += 1 # new state @tt[from_i, to_i] = node @tt.accepting = to_i @tt.add_memo to_i, node.memo [from_i, to_i] end |
#visit_CAT(node) ⇒ Object
12 13 14 15 16 17 18 19 |
# File 'lib/journey/nfa/builder.rb', line 12 def visit_CAT node left = visit node.left right = visit node.right @tt.merge left.last, right.first [left.first, right.last] end |
#visit_GROUP(node) ⇒ Object
21 22 23 24 25 26 27 28 29 30 31 32 33 |
# File 'lib/journey/nfa/builder.rb', line 21 def visit_GROUP node from = @i += 1 left = visit node.left to = @i += 1 @tt.accepting = to @tt[from, left.first] = nil @tt[left.last, to] = nil @tt[from, to] = nil [from, to] end |
#visit_OR(node) ⇒ Object
35 36 37 38 39 40 41 42 43 44 45 46 47 48 |
# File 'lib/journey/nfa/builder.rb', line 35 def visit_OR node from = @i += 1 children = node.children.map { |c| visit c } to = @i += 1 children.each do |child| @tt[from, child.first] = nil @tt[child.last, to] = nil end @tt.accepting = to [from, to] end |