rley 0.0.12 → 0.0.13

checksums.yaml

@@ -1,15 +1,15 @@
 ---
 !binary "U0hBMQ==":
   metadata.gz: !binary |-
-    YWJmOTI2YmJiNWQwNDY5YjM3ZTdmMzdlZmEyMDE0ODRiM2Q1N2Y4YQ==
+    NTdmZDFiY2U1OTE3NDVkOTQ5NDU5OTY4YjAyZWY5MTZhNmE4ZmU5OQ==
   data.tar.gz: !binary |-
-    ZjNmODNiOWZlYTc3MzcyNGUzZDhiNWVhMTBjNDRjZmU2OTg3NTM4Yg==
+    ZDdjZTA5ZjEwMGNhM2ZlZjIyYjg1ZDliM2E5NjNmZWIzYmU0YjRmZA==
 !binary "U0hBNTEy":
   metadata.gz: !binary |-
-    OWRiMmM1NzQ3ZjdjZjAwYTZlNWFlYzgxMjliY2M2YzQ2MzZjMTNlMmE2NjI5
-    YTAxNWNhMGMxMjY1ODU3NzI4YTFhNmNmNzkxMzAzNjUyMjZjZjBlM2U5ZDhi
-    ZmY0MmU3ZTgxNmJjYTk3ZTc3MTg1MmFlYWNhYjhiMjJjOTljOTU=
+    YmNlNWU1Y2NkOGE1NmI4Y2YyYzkzMzRiYjY1NGNhNDNiMDQyMzMzNTI3ZWY2
+    ZjdjZGRlZjY4ZTI2NDdkNTViYTA5ZDUxOGE3YTY3NzZkMDQ5YjFjNzlmMTU1
+    YmRlMGVjNmU3ODMzN2MxMzRlYTU0YTVhMzhiYWY4NzcwZmQyYTQ=
   data.tar.gz: !binary |-
-    NzQyYmYyNzc5ZmIyNTVjMWJkOTVjNzI5NzM2N2Y5N2ZkN2Y1NmRlODcwNjAz
-    MzRiNGIyNGIxNGExMGJlNjY4ZjYxYTc5YTc4Mjg1ODEyZGEyNGExOTM3N2Iw
-    ODFkMGU4MjIxNTZmZjczNWNiYjUzMjYwYTZhZjkxNTRmZjg2MmU=
+    MzA2ODE1MWZjN2I3ZDAxNTAzZmQ4YzNhYzJlZGU4NmU0OGEzYjI0MzEzZjBh
+    ZmI4NzMyYzEyMDlkZDcwNDRkMzk1YzM2NTc4YjhmNzUzZDEwYmRmNDQxMmIw
+    OTI4N2NmZmVjNzM1OGVhNDY4MzFmMWJhNWE3NWZjZDM3Y2QxZjQ=

data/CHANGELOG.md

@@ -1,5 +1,11 @@
+### 0.0.13 / 2014-11-19
+* [NEW]  (private) method `Grammar#compute_nullable` added.
+* [CHANGE] `Grammar#initialize` constructor calls the method `Grammar#compute_nullable`
+
+
 ### 0.0.12 / 2014-11-17
 * [CHANGE]  Classes `Terminal` and `NonTerminal` added new method nullable?
+* [CHANGE] File `earley_parser_spec.rb`: Added spec with ambiguous grammar.
 
 
 ### 0.0.11 / 2014-11-16

data/lib/rley/constants.rb

@@ -3,7 +3,7 @@
 
 module Rley # Module used as a namespace
   # The version number of the gem.
-  Version = '0.0.12'
+  Version = '0.0.13'
 
   # Brief description of the gem.
   Description = "Ruby implementation of the Earley's parsing algorithm"

data/lib/rley/syntax/grammar.rb

@@ -1,3 +1,5 @@
+require 'set'
+
 module Rley # This module is used as a namespace
   module Syntax # This module is used as a namespace
     # A grammar specifies the syntax of a language.
@@ -57,24 +59,51 @@ module Rley # This module is used as a namespace
         end
       end
 
+      
       # For each non-terminal determine whether it is nullable or not.
+      # A nullable nonterminal is a nonterminal that can match an empty string.
       def compute_nullable()
-        # Do the obvious cases
-        rules.each do |prod|
-          next unless prod.rhs.empty?
-          prod.lhs.nullable = true
+        non_terminals.each { |nterm| nterm.nullable = false }
+        nullable_sets = [ direct_nullable ]
+        
+        # Drop productions with one terminal in rhs or with a nullable lhs
+        filtered_rules = rules.reject do |prod|
+          prod.lhs.nullable? || prod.rhs.members.find do |symb| 
+            symb.kind_of?(Terminal) 
+          end
+        end
+
+        (1...non_terminals.size).each do |i|
+          new_nullables = Set.new
+          filtered_rules.each do |a_prod|
+            rhs_nullable = a_prod.rhs.members.all? do |symb|
+              nullable_sets[i-1].include? symb
+            end
+            if rhs_nullable
+              a_prod.lhs.nullable = true
+              new_nullables << a_prod.lhs
+            end
+          end
+          break if new_nullables.empty?
+          filtered_rules.reject! { |prod| prod.lhs.nullable? }
+          nullable_sets[i] = nullable_sets[i-1].merge(new_nullables)
         end
       end
-=begin
-        prods4nonterm = productions.group_by { |prod| prod.lhs }
-          prods4nonterm.each_pair do |(lhs, prods)|        
         
         
-        to_process = non_terminals.select { |nt| nt.nullable?.nil? }
+      # Return the set of nonterminals which have one of their
+      # production rules empty
+      def direct_nullable()
+        nullable = Set.new
+        # Direct nullable nonterminals correspond to empty productions
+        rules.each do |prod|
+          next unless prod.empty?
+          prod.lhs.nullable = true
+          nullable << prod.lhs
+        end
         
-        until to_process.empty? do
-
-=end
+        return nullable
+      end
     end # class
   end # module
 end # module

data/spec/rley/syntax/grammar_spec.rb

@@ -143,6 +143,37 @@ module Rley # Open this namespace to avoid module qualifier prefixes
           expect(subject.non_terminals).to eq([nt_S, nt_A]) 
         end
       end # context
+      
+      context 'Non-nullable grammar:' do
+        subject do
+          productions = [prod_S, prod_A1, prod_A2]
+          Grammar.new(productions)
+        end
+        
+        it 'should mark all its nonterminals as non-nullable' do
+          nonterms = subject.non_terminals
+          nonterms.each do |nterm|
+            expect(nterm).not_to be_nullable
+          end
+        end
+      end # context
+      
+      context 'Nullable grammars:' do
+        subject do
+          prod_A3 = Production.new(nt_A, [])
+          productions = [prod_S, prod_A1, prod_A2, prod_A3]
+          Grammar.new(productions)
+        end
+        
+        it 'should mark its nullable nonterminals' do
+          # In the default grammar, all nonterminals are nullable
+          nonterms = subject.non_terminals
+          nonterms.each do |nterm|
+            expect(nterm).to be_nullable
+          end
+        end
+        
+      end # context
 
     end # describe
   end # module

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rley
 version: !ruby/object:Gem::Version
-  version: 0.0.12
+  version: 0.0.13
 platform: ruby
 authors:
 - Dimitri Geshef
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2014-11-17 00:00:00.000000000 Z
+date: 2014-11-19 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rake