stamina 0.4.0 → 0.5.0

data/test/stamina/automaton/minimize/hopcroft_test.rb

@@ -1,15 +0,0 @@
-require File.expand_path("../minimize_test", __FILE__)
-module Stamina
-  class Automaton
-    module Minimize
-      class HopcroftTest < MinimizeTest
-
-        def algo
-          Hopcroft
-        end
-
-      end # class HopcroftTest
-    end # module Minimize
-  end # class Automaton
-end # module Stamina
-

data/test/stamina/automaton/minimize/minimize_test.rb

@@ -1,55 +0,0 @@
-require 'test/unit'
-require 'stamina/stamina_test'
-module Stamina
-  class Automaton
-    module Minimize
-      class MinimizeTest < StaminaTest
-
-        # To be overriden
-        def algo 
-          nil
-        end
-
-        def test_on_unknown_1
-          return unless algo
-          dfa = load_adl_automaton("unknown_1.adl", __FILE__)
-          min = load_adl_automaton("unknown_1.min.adl", __FILE__)
-          assert_equivalent(algo.execute(dfa), min)
-        end
-
-        # From slide 10 in http://www.clear.rice.edu/comp412/Lectures/L07DFAMin-1up.pdf
-        def test_on_rice_edu_10
-          return unless algo
-          dfa = load_adl_automaton("rice_edu_10.adl", __FILE__)
-          min = load_adl_automaton("rice_edu_10.min.adl", __FILE__)
-          assert_equivalent(algo.execute(dfa), min)
-        end
-
-        # From slide 13 in http://www.clear.rice.edu/comp412/Lectures/L07DFAMin-1up.pdf
-        def test_on_rice_edu_13
-          return unless algo
-          dfa = load_adl_automaton("rice_edu_13.adl", __FILE__)
-          min = load_adl_automaton("rice_edu_13.min.adl", __FILE__)
-          assert_equivalent(algo.execute(dfa), min)
-        end
-
-        def test_it_strips_when_needed
-          return unless algo
-          dfa = load_adl_automaton("should_strip_1.adl", __FILE__)
-          min = load_adl_automaton("should_strip_1.min.adl", __FILE__)
-          assert_equivalent(algo.execute(dfa), min)
-        end
-
-        def test_it_has_no_effect_on_already_minimal
-          return unless algo
-          dfa = load_adl_automaton("rice_edu_13.min.adl", __FILE__)
-          min = algo.execute(dfa)
-          assert_equal dfa.complete.state_count, min.complete.state_count
-          assert_equivalent(min, dfa)
-        end
-
-      end # class MinimizeTest
-    end # module Minimize
-  end # class Automaton
-end # module Stamina
-

data/test/stamina/automaton/minimize/pitchies_test.rb

@@ -1,15 +0,0 @@
-require File.expand_path("../minimize_test", __FILE__)
-module Stamina
-  class Automaton
-    module Minimize
-      class PitchiesTest < MinimizeTest
-
-        def algo
-          Pitchies
-        end
-
-      end # class PitchiesTest
-    end # module Minimize
-  end # class Automaton
-end # module Stamina
-

data/test/stamina/automaton/minimize/rice_edu_10.adl

@@ -1,16 +0,0 @@
-5 10
-0 true false
-1 false false
-2 false false
-3 false false
-4 false true
-0 1 a
-0 2 b
-1 1 a
-1 3 b
-2 1 a
-2 2 b
-3 1 a
-3 4 b
-4 1 a
-4 2 b

data/test/stamina/automaton/minimize/rice_edu_10.min.adl

@@ -1,13 +0,0 @@
-4 8
-0 true false
-1 false false
-2 false false
-3 false true
-0 1 a
-0 0 b
-1 1 a
-1 2 b
-2 1 a
-2 3 b
-3 1 a
-3 0 b

data/test/stamina/automaton/minimize/rice_edu_13.adl

@@ -1,13 +0,0 @@
-4 7
-0 true false
-1 false true
-2 false true
-3 false true
-0 1 a
-1 2 b
-1 3 c
-2 2 b
-2 3 c
-3 2 b
-3 3 c
-

data/test/stamina/automaton/minimize/rice_edu_13.min.adl

@@ -1,7 +0,0 @@
-2 3
-0 true false
-1 false true
-0 1 a
-1 1 b
-1 1 c
-

data/test/stamina/automaton/minimize/should_strip_1.adl

@@ -1,8 +0,0 @@
-3 3
-0 true false
-1 false true
-2 false false
-0 1 a
-1 0 b
-2 1 b
-

data/test/stamina/automaton/minimize/should_strip_1.min.adl

@@ -1,6 +0,0 @@
-2 2
-0 true false
-1 false true
-0 1 a
-1 0 b
-

data/test/stamina/automaton/minimize/unknown_1.adl

@@ -1,16 +0,0 @@
-5 9
-0 true false
-1 false false
-2 false false
-3 false true
-4 false true
-0 1 a
-0 1 b
-0 1 c
-0 2 d
-0 2 f
-1 3 f
-1 3 g
-2 4 f
-2 4 g
-

data/test/stamina/automaton/minimize/unknown_1.min.adl

@@ -1,12 +0,0 @@
-3 7
-0 true false
-1 false false
-2 false true
-0 1 a
-0 1 b
-0 1 c
-0 1 d
-0 1 f
-1 2 f
-1 2 g
-

data/test/stamina/automaton/strip_test.rb

@@ -1,36 +0,0 @@
-require 'test/unit'
-require 'stamina/adl'
-require 'stamina/stamina_test'
-module Stamina
-  class Automaton
-    class StripTest < StaminaTest
-
-      def test_on_all_reachable
-        assert_equivalent @small_dfa, @small_dfa.strip
-      end
-
-      def test_with_unreachable_states
-        dfa = Stamina::ADL.parse_automaton <<-EOF
-          3 3
-          0 true false
-          1 false true
-          2 false false
-          0 1 a
-          1 0 b
-          2 1 a
-        EOF
-        expected = Stamina::ADL.parse_automaton <<-EOF
-          2 2
-          0 true false
-          1 false true
-          0 1 a
-          1 0 b
-        EOF
-        assert_not_equivalent(expected, dfa)
-        assert_equivalent(expected, dfa.strip)
-      end
-
-    end # class StripTest
-  end # class Automaton
-end # module Stamina
-

data/test/stamina/automaton/to_dot_test.rb

@@ -1,64 +0,0 @@
-require 'test/unit'
-require 'stamina'
-module Stamina
-  module Utils
-    class DotTest < Test::Unit::TestCase
-    
-      def setup
-        @automaton = Automaton.new do |a|
-          add_state(:initial => true, :accepting => false)
-          add_state(:initial => false, :accepting => true)
-          add_state(:initial => false, :accepting => true, :error => true)
-          connect(0, 1, 'a')
-          connect(1, 0, 'b')
-          connect(1, 2, 'a')
-          connect(2, 2, nil)
-        end
-      end
-    
-      def test_attributes2dot
-        attrs = {:label => 'hello'}
-        assert_equal 'label="hello"', @automaton.send(:attributes2dot, attrs)
-        attrs = {:label => 'hello', :color => 'red'}
-        assert_equal 'color="red" label="hello"', @automaton.send(:attributes2dot, attrs)
-        attrs = {:label => 'O"Neil'}
-        assert_equal 'label="O\"Neil"', @automaton.send(:attributes2dot, attrs)
-      end
-    
-      def test_automaton_to_dot_with_default_rewriter
-        expected = <<-EOF
-          #digraph G {
-          #  graph [rankdir="LR"];
-          #  0 [color="black" fillcolor="green" shape="circle" style="filled"];
-          #  1 [color="black" fillcolor="white" shape="doublecircle" style="filled"];
-          #  2 [color="black" fillcolor="red" shape="doublecircle" style="filled"];
-          #  0 -> 1 [label="a"];
-          #  1 -> 0 [label="b"];
-          #  1 -> 2 [label="a"];
-          #  2 -> 2 [label=""];
-          #}
-        EOF
-        expected = expected.gsub(/^\s+#/,'')
-        assert_equal expected, @automaton.to_dot
-      end
-    
-      def test_automaton_with_specific_rewriter
-        expected = <<-EOF
-          #digraph G {
-          #  graph [];
-          #  0 [accepting="false" initial="true"];
-          #  1 [accepting="true" initial="false"];
-          #  2 [accepting="true" error="true" initial="false"];
-          #  0 -> 1 [symbol="a"];
-          #  1 -> 0 [symbol="b"];
-          #  1 -> 2 [symbol="a"];
-          #  2 -> 2 [symbol=""];
-          #}
-        EOF
-        expected = expected.gsub(/^\s+#/,'')
-        assert_equal expected, @automaton.to_dot {|elm,kind| elm.data}
-      end
-    
-    end
-  end
-end

data/test/stamina/automaton/walking/dfa_delta_test.rb

@@ -1,39 +0,0 @@
-require 'test/unit'
-require 'stamina/stamina_test'
-module Stamina
-  class Automaton
-    # Tests Walking module on Automaton class
-    class WalkingTestDfaDelta < StaminaTest
-
-      DFA = Stamina::ADL::parse_automaton <<-EOF
-        2 3
-        0 true false
-        1 false true
-        0 1 a
-        1 0 b
-        1 1 a
-      EOF
-      S0 = DFA.ith_state(0)
-      S1 = DFA.ith_state(1)
-
-      def test_with_single_state_as_from
-        assert_equal S1, DFA.dfa_delta(S0, 'a')
-        assert_equal S1, DFA.dfa_delta(0, 'a')
-        assert_equal S0, DFA.dfa_delta(1, 'b')
-      end
-
-      def test_with_single_array_as_from
-        assert_equal [S1], DFA.dfa_delta([S0], 'a')
-        assert_equal [S1], DFA.dfa_delta([0], 'a')
-        assert_equal [S0], DFA.dfa_delta([1], 'b')
-      end
-
-      def test_with_multiple_array_as_from
-        assert_equal [S1], DFA.dfa_delta([S0, S1], 'a')
-        assert_equal [S1], DFA.dfa_delta([0, 1], 'a')
-        assert_equal [S0], DFA.dfa_delta([0, 1], 'b')
-      end
-
-    end # class WalkingTestDfaDelta
-  end # class Automaton
-end # module Stamina

data/test/stamina/automaton/walking_test.rb

@@ -1,206 +0,0 @@
-require 'test/unit'
-require 'stamina/stamina_test'
-module Stamina
-  class Automaton
-    # Tests Walking module on Automaton class
-    class WalkingTest < StaminaTest
-
-      # Tests Walking#step on examples
-      def test_step_on_examples
-        assert_equal([], @small_dfa.step(0, 'b'))
-        assert_equal(@small_dfa.ith_states(1), @small_dfa.step(0, 'a'))
-        assert_equal(@small_dfa.ith_states(1,3), @small_dfa.step([0,1], 'a').sort)
-        assert_equal(@small_dfa.ith_states(1), @small_dfa.step([0,2], 'a').sort)
-    
-        assert_equal([], @small_nfa.step(0, 'b'))
-        assert_equal(@small_nfa.ith_states(1), @small_nfa.step(0, 'a'))
-        assert_equal([], @small_nfa.step(2, 'b'))
-        assert_equal(@small_nfa.ith_states(2,3), @small_nfa.step(1, 'b').sort)
-        assert_equal(@small_nfa.ith_states(0,1), @small_nfa.step([0,3], 'a').sort)
-      end
-  
-      # Tests Walking#dfa_step on examples
-      def test_step_on_examples
-        assert_equal(nil, @small_dfa.dfa_step(0, 'b'))
-        assert_equal(@small_dfa.ith_state(1), @small_dfa.dfa_step(0, 'a'))
-        assert_equal(@small_dfa.ith_states(1), @small_dfa.dfa_step([0], 'a'))
-        assert_equal(@small_dfa.ith_states(1,3), @small_dfa.dfa_step([0,1], 'a').sort)
-        assert_equal(@small_dfa.ith_states(1), @small_dfa.dfa_step([0,2], 'a').sort)
-      end
-  
-      # Tests Walking#delta on examples
-      def test_delta_on_examples
-        assert_equal([], @small_dfa.delta(0, 'b'))
-        assert_equal(@small_dfa.ith_states(1), @small_dfa.delta(0, 'a'))
-        assert_equal(@small_dfa.ith_states(1,3), @small_dfa.delta([0,1], 'a').sort)
-        assert_equal(@small_dfa.ith_states(1), @small_dfa.delta([0,2], 'a').sort)
-    
-        assert_equal([], @small_nfa.delta(0, 'b'))
-        assert_equal(@small_nfa.ith_states(1), @small_nfa.delta(0, 'a'))
-        assert_equal(@small_nfa.ith_states(1,2,3), @small_nfa.delta(2, 'b').sort)
-        assert_equal(@small_nfa.ith_states(1,2,3), @small_nfa.delta(1, 'b').sort)
-        assert_equal(@small_nfa.ith_states(0,1), @small_nfa.delta([0,3], 'a').sort)
-      end
-  
-      # Tests Walking#dfa_delta on examples
-      def test_delta_on_examples
-        assert_equal(nil, @small_dfa.dfa_delta(0, 'b'))
-        assert_equal(@small_dfa.ith_state(1), @small_dfa.dfa_delta(0, 'a'))
-        assert_equal(@small_dfa.ith_states(1,3), @small_dfa.dfa_delta([0,1], 'a').sort)
-        assert_equal(@small_dfa.ith_states(1), @small_dfa.dfa_delta([0,2], 'a').sort)
-      end
-  
-      # Tests Walking#split on examples
-      def test_split_on_examples
-        assert_equal([[], @small_dfa.ith_states(3), []], @small_dfa.split('?'))
-        assert_equal([[], @small_dfa.ith_states(3), ['a']], @small_dfa.split('? a'))
-        assert_equal([['b'], @small_dfa.ith_states(2), []], @small_dfa.split('? b'))
-        assert_equal([['b'], @small_dfa.ith_states(2), ['a']], @small_dfa.split('? b a'))
-        assert_equal([['b','c'], @small_dfa.ith_states(0), []], @small_dfa.split('? b c'))
-      
-        assert_equal([[], @small_nfa.ith_states(0,3), []], @small_nfa.split('?'))
-        assert_equal([[], @small_nfa.ith_states(0,3), ['b']], @small_nfa.split('? b'))
-        assert_equal([['a'], @small_nfa.ith_states(0,1), []], @small_nfa.split('? a',nil,true))
-        assert_equal([['a'], @small_nfa.ith_states(0,1), ['c']], @small_nfa.split('? a c',nil,true))
-        assert_equal([['a','b'], @small_nfa.ith_states(1,2,3), []], @small_nfa.split('? a b',nil,true))
-      end
-  
-      # Tests Walking#dfa_split on examples
-      def test_split_on_examples
-        assert_equal([[], @small_dfa.ith_state(3), []], @small_dfa.dfa_split('?'))
-        assert_equal([[], @small_dfa.ith_state(3), ['a']], @small_dfa.dfa_split('? a'))
-        assert_equal([['b'], @small_dfa.ith_state(2), []], @small_dfa.dfa_split('? b'))
-        assert_equal([['b'], @small_dfa.ith_state(2), ['a']], @small_dfa.dfa_split('? b a'))
-        assert_equal([['b','c'], @small_dfa.ith_state(0), []], @small_dfa.dfa_split('? b c'))
-        assert_equal([['b','c'], @small_dfa.ith_states(0), []], @small_dfa.dfa_split('? b c',[3]))
-      end
-  
-      # Tests Walking#reached on examples 
-      def test_reached_on_examples
-        assert_equal([], @small_dfa.reached('? a a'))
-        assert_equal(@small_dfa.ith_states(2), @small_dfa.reached('? b'))
-        assert_equal(@small_dfa.ith_states(1), @small_dfa.reached('? b c a c'))
-        assert_equal(@small_dfa.ith_states(1), @small_dfa.reached('? a c', @small_dfa.ith_state(0)))
-        assert_equal(@small_dfa.ith_states(1), @small_dfa.reached('? a c',0))
-        assert_equal(@small_dfa.ith_states(1), @small_dfa.reached('? a',[0]))
-        assert_equal(@small_dfa.ith_states(1,3), @small_dfa.reached('? a',[0,1]))
-        assert_equal(@small_dfa.ith_states(2), @small_dfa.reached('? b',[3,1]))
-        assert_equal(@small_dfa.ith_states(2), @small_dfa.reached('? b',[0,3,1]))
-      
-        assert_equal(@small_nfa.ith_states(0,3), @small_nfa.reached('?').sort)
-        assert_equal(@small_nfa.ith_states(0,1), @small_nfa.reached('? a').sort)
-        assert_equal(@small_nfa.ith_states(1,2,3), @small_nfa.reached('? a b').sort)
-      end
-
-      # Tests Walking#dfa_reached on examples  
-      def test_dfa_reached_on_examples
-        assert_equal(nil, @small_dfa.dfa_reached('? a a'))
-        assert_equal(@small_dfa.ith_state(2), @small_dfa.dfa_reached('? b'))
-        assert_equal(@small_dfa.ith_state(1), @small_dfa.dfa_reached('? b c a c'))
-        assert_equal(@small_dfa.ith_state(1), @small_dfa.dfa_reached('? a c', @small_dfa.ith_state(0)))
-        assert_equal(@small_dfa.ith_state(1), @small_dfa.dfa_reached('? a c',0))
-        assert_equal(@small_dfa.ith_states(1), @small_dfa.dfa_reached('? a',[0]))
-        assert_equal(@small_dfa.ith_states(1,3), @small_dfa.dfa_reached('? a',[0,1]))
-        assert_equal(@small_dfa.ith_states(2), @small_dfa.dfa_reached('? b',[3,1]))
-        assert_equal(@small_dfa.ith_states(2), @small_dfa.dfa_reached('? b',[0,3,1]))
-      end
-  
-      # Tests Walking#dfa_reached
-      def test_dfa_reached_on_simple_deterministic_automaton
-        s0, s1 = nil
-        fa = Automaton.new do |fa|
-          s0 = fa.add_state(:initial => true)
-          s1 = fa.add_state
-          fa.connect(s0, s1, 'a')
-          fa.connect(s1, s0, 'b')
-        end 
-        assert_equal(s0, fa.dfa_reached('? '))
-        assert_equal(s1, fa.dfa_reached('? a'))
-        assert_equal(s0, fa.dfa_reached('? a b'))
-        assert_equal(s1, fa.dfa_reached('? a b a'))
-        assert_equal(s0, fa.dfa_reached('? a b a b'))
-        assert_nil(fa.dfa_reached('? a a'))
-        assert_nil(fa.dfa_reached('? b'))
-        assert_nil(fa.dfa_reached('? a b b'))
-      end
-    
-      # Tests Walking#reached on a deterministic automaton
-      def test_reached_on_simple_deterministic_automaton
-        s0, s1 = nil
-        fa = Automaton.new do |fa|
-          s0 = fa.add_state(:initial => true)
-          s1 = fa.add_state
-          fa.connect(s0, s1, 'a')
-          fa.connect(s1, s0, 'b')
-        end 
-        assert_equal([s0], fa.reached('?'))
-        assert_equal([s1], fa.reached('? a'))
-        assert_equal([s0], fa.reached('? a b'))
-        assert_equal([s1], fa.reached('? a b a'))
-        assert_equal([s0], fa.reached('? a b a b'))
-        assert_equal([], fa.reached('? a a'))
-        assert_equal([], fa.reached('? b'))
-        assert_equal([], fa.reached('? a b b'))
-      end
-  
-      # Tests Walking#reached on a non-deterministic automaton.
-      def test_reached_on_non_deterministic_automaton
-        s0, s1, s2, s3, s4 = nil
-        fa = Automaton.new do |fa|
-          s0 = fa.add_state(:initial => true)    #
-          s1, s2, s3, s4 = fa.add_n_states(4)    #         s1  -b->  s3
-          fa.connect(s0, s1, 'a')                #      a
-          fa.connect(s0, s2, 'a')                # s0
-          fa.connect(s1, s3, 'b')                #      a
-          fa.connect(s2, s4, 'c')                #         s2  -c->  s4
-        end                                      #
-        assert_equal([], s2.delta('b'))
-        assert_equal([s0], fa.reached('?'))
-        assert_equal([], fa.reached('? c'))
-        assert_equal([s1,s2], fa.reached('? a').sort)
-        assert_equal([s3], fa.reached('? a b'))
-        assert_equal([s4], fa.reached('? a c'))
-        assert_equal([s1,s2], fa.reached('? a').sort)
-      
-        # add a looping b on s2
-        fa.connect(s2, s2, 'b')
-        assert_equal([s2,s3], fa.reached('? a b').sort)
-    
-        # add an epsilon from s2 to s1 
-        fa.connect(s2, s1, nil)
-        assert_equal([s1,s2], fa.reached('? a').sort)
-        assert_equal([s1,s2,s3], fa.reached('? a b').sort)
-      end
-  
-      # Tests Walking#accepts? and Walking#rejects?
-      def test_accepts_and_rejects
-        fa = Automaton.new do
-          add_state(:initial => true)
-          add_state(:accepting => true)
-          add_state(:error => true)
-          add_state(:accepting => true, :error => true)
-          connect(0,1,'a')
-          connect(1,0,'b')
-          connect(0,2,'b')
-          connect(1,3,'a')
-        end
-        assert_equal(false, fa.accepts?("?"))
-        assert_equal(true, fa.accepts?("? a"))
-        assert_equal(false, fa.accepts?("? a b"))
-        assert_equal(true, fa.accepts?("? a b a"))
-        assert_equal(false, fa.accepts?("? z"), "not accepts? on no state")
-        assert_equal(false, fa.accepts?("? b"), "not accepts? on non accepting error state")
-        assert_equal(false, fa.accepts?("? a a"), "not accepts? on accepting error state")
-      
-        assert_equal(true, fa.rejects?("?"))
-        assert_equal(false, fa.rejects?("? a"))
-        assert_equal(true, fa.rejects?("? a b"))
-        assert_equal(false, fa.rejects?("? a b a"))
-        assert_equal(true, fa.rejects?("? z"), "rejects? on no state")
-        assert_equal(true, fa.rejects?("? b"), "rejects? on non accepting error state")
-        assert_equal(true, fa.rejects?("? a a"), "rejects? on accepting error state")
-      end
-    
-    end # class WalkingTest
-  end # class Automaton
-end # module Stamina