Add definition for Read sets and Follow sets

ruby · Dec 30, 2024 · de00af2 · de00af2
1 parent ebdadac
commit de00af2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/lib/lrama/states.rb b/lib/lrama/states.rb
@@ -41,6 +41,8 @@ def initialize(grammar, trace_state: false)
       # value is array of [state.id, nterm.token_id].
       @reads_relation = {}
 
+      # `Read(p, A) =s DR(p, A) ∪ ∪{Read(r, C) | (p, A) reads (r, C)}`
+      #
       # `@read_sets` is a hash whose
       # key is [state.id, nterm.token_id],
       # value is bitmap of term.
@@ -62,6 +64,8 @@ def initialize(grammar, trace_state: false)
       # value is array of [state.id, nterm.token_id].
       @lookback_relation = {}
 
+      # `Follow(p, A) =s Read(p, A) ∪ ∪{Follow(p', B) | (p, A) includes (p', B)}`
+      #
       # `@follow_sets` is a hash whose
       # key is [state.id, rule.id],
       # value is bitmap of term.