stamina 0.3.1 → 0.4.0

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

@@ -0,0 +1,15 @@
+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

@@ -0,0 +1,16 @@
+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

@@ -0,0 +1,13 @@
+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

@@ -0,0 +1,13 @@
+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

@@ -0,0 +1,7 @@
+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

@@ -0,0 +1,8 @@
+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

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

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

@@ -0,0 +1,16 @@
+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

@@ -0,0 +1,12 @@
+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

@@ -0,0 +1,36 @@
+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/walking/dfa_delta_test.rb

@@ -0,0 +1,39 @@
+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_test.rb

@@ -4,6 +4,18 @@ module Stamina
   
   class AutomatonTest < StaminaTest
 
+    def test_state_sink_q 
+      x, y = nil, nil
+      Automaton.new(true) do |fa|
+        x = fa.add_state(:initial => true,  :accepting => true)
+        y = fa.add_state(:initial => false, :accepting => false)
+        fa.connect(0,1,'a')
+        fa.connect(1,1,'b')
+      end
+      assert_equal false, x.sink?
+      assert_equal true, y.sink?
+    end
+
     # Tests that an automaton can be created with onself=true
     def test_new_on_self
       Automaton.new(true) do |fa|
@@ -1089,4 +1101,4 @@ module Stamina
 
   end
   
-end # module Stamina
+end # module Stamina

data/test/stamina/induction/{redblue_test.rb → blue_fringe_test.rb}

@@ -1,28 +1,28 @@
 require File.join(File.dirname(__FILE__), "induction_test")
 module Stamina
   module Induction
-    class RedBlueTest < Stamina::Induction::InductionTest
+    class BlueFringeTest < Stamina::Induction::InductionTest
       
-      # Factors a ready to be tested RedBlue instance
-      def redblue(ufds)
-        redblue = Stamina::Induction::RedBlue.new(:verbose => false)
-        redblue.instance_eval do
+      # Factors a ready to be tested BlueFringe instance
+      def blue_fringe(ufds)
+        blue_fringe = Stamina::Induction::BlueFringe.new(:verbose => false)
+        blue_fringe.instance_eval do
           @ufds = ufds
         end
-        redblue
+        blue_fringe
       end
       
       def test_merge_and_determinize_score
-        redblue = redblue(factor_ufds)
-        assert_equal nil, redblue.merge_and_determinize_score(1, 0)
-        assert_equal 1, redblue.merge_and_determinize_score(1, 3)
-        assert_equal 1, redblue.merge_and_determinize_score(2, 0)
+        blue_fringe = blue_fringe(factor_ufds)
+        assert_equal nil, blue_fringe.merge_and_determinize_score(1, 0)
+        assert_equal 1, blue_fringe.merge_and_determinize_score(1, 3)
+        assert_equal 1, blue_fringe.merge_and_determinize_score(2, 0)
       end
       
       def test_main_whole_execution
         ufds = factor_ufds
-        redblue = redblue(ufds)
-        assert_equal [0, 1, 0, 1, 0, 1, 0, 0, 1, 0], redblue.main(ufds).to_a
+        blue_fringe = blue_fringe(ufds)
+        assert_equal [0, 1, 0, 1, 0, 1, 0, 0, 1, 0], blue_fringe.main(ufds).to_a
       end
       
       def test_execute_whole_execution
@@ -35,7 +35,7 @@ module Stamina
           1 0 b
           1 1 a
         EOF
-        dfa = RedBlue.execute(@sample)
+        dfa = BlueFringe.execute(@sample)
         assert_equal true, @sample.correctly_classified_by?(dfa)
         assert_equal @sample.signature, dfa.signature(@sample)
         assert_nil equivalent?(expected, dfa)
@@ -48,7 +48,7 @@ module Stamina
           sample = Stamina::ADL.parse_sample_file(sample_file)
           expected = Stamina::ADL.parse_automaton_file(File.join(here, "redblue_#{name}_expected.adl"))
           assert sample.correctly_classified_by?(expected)
-          dfa = RedBlue.execute(sample)
+          dfa = BlueFringe.execute(sample)
           assert sample.correctly_classified_by?(dfa)
           assert_equal sample.signature, dfa.signature(sample)
           assert_nil equivalent?(expected, dfa)
@@ -59,12 +59,12 @@ module Stamina
       def test_on_public_characteristic_example
         example_folder = File.join(File.dirname(__FILE__), '..', '..', '..', 'example', 'basic')
         sample = Stamina::ADL.parse_sample_file(File.join(example_folder, 'characteristic_sample.adl'))
-        redblued = Stamina::Induction::RedBlue.execute(sample)
-        assert_equal 4, redblued.state_count
-        s0, = redblued.initial_state
-        s1 = redblued.dfa_step(s0, 'b')
-        s2 = redblued.dfa_step(s0, 'a')
-        s3 = redblued.dfa_step(s2, 'b')
+        blue_fringed = Stamina::Induction::BlueFringe.execute(sample)
+        assert_equal 4, blue_fringed.state_count
+        s0, = blue_fringed.initial_state
+        s1 = blue_fringed.dfa_step(s0, 'b')
+        s2 = blue_fringed.dfa_step(s0, 'a')
+        s3 = blue_fringed.dfa_step(s2, 'b')
         assert_equal true, s0.accepting?
         assert_equal true, s3.accepting?
         assert_equal false, s1.accepting?
@@ -75,9 +75,9 @@ module Stamina
         assert_equal s3, s2.dfa_step('b')
         assert_equal s3, s3.dfa_step('b')
         assert_equal s0, s3.dfa_step('a')
-        assert_equal sample.signature, redblued.signature(sample)
+        assert_equal sample.signature, blue_fringed.signature(sample)
       end
       
     end
   end
-end
+end

data/test/stamina/sample_test.rb

@@ -210,6 +210,81 @@ module Stamina
       SAMPLE
       assert_equal '110?', s.signature
     end
+
+    def test_to_pta_on_empty_sample
+      empty = Stamina::ADL::parse_automaton <<-EOF
+        1 0
+        0 true false
+      EOF
+      assert_equivalent empty, Sample.new.to_pta
+    end
+
+    def test_to_pta_on_lambda_accepting_sample
+      dfa = Stamina::ADL::parse_automaton <<-EOF
+        1 0
+        0 true true false
+      EOF
+      sample = Stamina::ADL::parse_sample <<-EOF
+        +
+      EOF
+      assert_equivalent dfa, sample.to_pta
+    end
+    
+    def test_to_pta_on_lambda_rejecting_sample
+      dfa = Stamina::ADL::parse_automaton <<-EOF
+        1 0
+        0 true false true
+      EOF
+      sample = Stamina::ADL::parse_sample <<-EOF
+        -
+      EOF
+      assert_equivalent dfa, sample.to_pta
+    end
+
+    def test_to_pta_respects_natural_ordering
+      dfa = Stamina::ADL::parse_automaton <<-EOF
+        3 2
+        0 true false
+        1 false true
+        2 false true
+        0 1 a
+        0 2 b
+      EOF
+      sample = Stamina::ADL::parse_sample <<-EOF
+        + a
+        + b
+      EOF
+      pta = sample.to_pta
+      assert_equivalent dfa, pta
+      assert_equal pta.ith_state(1), pta.dfa_reached("? a")
+      assert_equal pta.ith_state(2), pta.dfa_reached("? b")
+    end
+
+    def test_to_pta_on_realcase_example
+      dfa = Stamina::ADL::parse_automaton <<-EOF
+        5 4
+        0 true true
+        1 false true
+        2 false false true
+        3 false false true
+        4 false true
+        0 1 a
+        0 2 b
+        1 3 b
+        2 4 a
+      EOF
+      sample = Stamina::ADL::parse_sample <<-EOF
+        +
+        + a
+        + b a
+        - a b
+        - b
+      EOF
+      pta = sample.to_pta
+      assert_equivalent dfa, pta
+      assert_equal pta.ith_state(3), pta.dfa_reached("? a b")
+      assert_equal pta.ith_state(4), pta.dfa_reached("? b a")
+    end
     
   end # class SampleTest
 end # module Stamina

data/test/stamina/stamina_test.rb

@@ -18,6 +18,10 @@ module Stamina
   # - @nfa_examples is an array containing non-deterministic automaton only.
   #
   class StaminaTest < Test::Unit::TestCase
+
+    def load_adl_automaton(file, resolver)
+      Stamina::ADL.parse_automaton_file(File.expand_path("../#{file}", resolver))
+    end
   
     # Creates a small automaton for the sake of simple tests
     def setup
@@ -64,6 +68,13 @@ module Stamina
       end
     end
   
-  end # class StaminaTest
+    def assert_not_equivalent(expected, dfa)
+      assert !expected.complete.equivalent?(dfa.complete)
+    end
+  
+    def assert_equivalent(expected, dfa)
+      assert expected.complete.equivalent?(dfa.complete)
+    end
 
-end # module Stamina
+  end # class StaminaTest
+end # module Stamina

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification 
 name: stamina
 version: !ruby/object:Gem::Version 
-  hash: 17
+  hash: 15
   prerelease: 
   segments: 
   - 0
-  - 3
-  - 1
-  version: 0.3.1
+  - 4
+  - 0
+  version: 0.4.0
 platform: ruby
 authors: 
 - Bernard Lambeau
@@ -15,7 +15,7 @@ autorequire:
 bindir: bin
 cert_chain: []
 
-date: 2011-03-24 00:00:00 +01:00
+date: 2011-05-03 00:00:00 +02:00
 default_executable: 
 dependencies: 
 - !ruby/object:Gem::Dependency 
@@ -113,16 +113,45 @@ dependencies:
   name: wlang
   version_requirements: *id006
   prerelease: false
+- !ruby/object:Gem::Dependency 
+  type: :development
+  requirement: &id007 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ~>
+      - !ruby/object:Gem::Version 
+        hash: 15
+        segments: 
+        - 2
+        - 3
+        - 6
+        version: 2.3.6
+  name: gnuplot
+  version_requirements: *id007
+  prerelease: false
+- !ruby/object:Gem::Dependency 
+  type: :runtime
+  requirement: &id008 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ~>
+      - !ruby/object:Gem::Version 
+        hash: 23
+        segments: 
+        - 0
+        - 2
+        - 0
+        version: 0.2.0
+  name: quickl
+  version_requirements: *id008
+  prerelease: false
 description: |-
   Stamina is an automaton and regular inference toolkit initially developped for the baseline 
   of the Stamina Competition (stamina.chefbe.net).
 email: 
 - blambeau@gmail.com
 executables: 
-- adl2dot
-- classify
-- redblue
-- rpni
+- stamina
 extensions: []
 
 extra_rdoc_files: 
@@ -130,10 +159,7 @@ extra_rdoc_files:
 - CHANGELOG.md
 - LICENCE.md
 files: 
-- bin/adl2dot
-- bin/classify
-- bin/redblue
-- bin/rpni
+- bin/stamina
 - example/adl/automaton.adl
 - example/adl/sample.adl
 - example/basic/characteristic_sample.adl
@@ -145,17 +171,27 @@ files:
 - lib/stamina/automaton.rb
 - lib/stamina/automaton/walking.rb
 - lib/stamina/automaton/metrics.rb
+- lib/stamina/automaton/complete.rb
+- lib/stamina/automaton/minimize.rb
+- lib/stamina/automaton/equivalence.rb
+- lib/stamina/automaton/minimize/hopcroft.rb
+- lib/stamina/automaton/minimize/pitchies.rb
+- lib/stamina/automaton/strip.rb
 - lib/stamina/classifier.rb
-- lib/stamina/command/adl2dot_command.rb
-- lib/stamina/command/classify_command.rb
-- lib/stamina/command/redblue_command.rb
-- lib/stamina/command/rpni_command.rb
-- lib/stamina/command/stamina_command.rb
+- lib/stamina/command/score.rb
+- lib/stamina/command/infer.rb
+- lib/stamina/command/help.rb
+- lib/stamina/command/abbadingo_dfa.rb
+- lib/stamina/command/metrics.rb
+- lib/stamina/command/abbadingo_samples.rb
+- lib/stamina/command/classify.rb
+- lib/stamina/command/robustness.rb
+- lib/stamina/command/adl2dot.rb
 - lib/stamina/errors.rb
 - lib/stamina/induction/commons.rb
-- lib/stamina/induction/redblue.rb
 - lib/stamina/induction/rpni.rb
 - lib/stamina/induction/union_find.rb
+- lib/stamina/induction/blue_fringe.rb
 - lib/stamina/input_string.rb
 - lib/stamina/markable.rb
 - lib/stamina/sample.rb
@@ -164,6 +200,11 @@ files:
 - lib/stamina/scoring.rb
 - lib/stamina/utils/decorate.rb
 - lib/stamina/utils.rb
+- lib/stamina/abbadingo.rb
+- lib/stamina/abbadingo/random_dfa.rb
+- lib/stamina/abbadingo/random_sample.rb
+- lib/stamina/command.rb
+- lib/stamina/ext/math.rb
 - tasks/yard.rake
 - tasks/debug_mail.txt
 - tasks/gem.rake
@@ -174,21 +215,23 @@ files:
 - test/stamina/automaton_additional_test.rb
 - test/stamina/automaton_test.rb
 - test/stamina/scoring_test.rb
+- test/stamina/abbadingo/random_dfa_test.rb
+- test/stamina/abbadingo/random_sample_test.rb
 - test/stamina/exit.rb
 - test/stamina/induction/induction_test.rb
 - test/stamina/induction/redblue_mergesamestatebug_expected.adl
 - test/stamina/induction/redblue_mergesamestatebug_pta.dot
 - test/stamina/induction/redblue_mergesamestatebug_sample.adl
-- test/stamina/induction/redblue_test.rb
+- test/stamina/induction/rpni_test.rb
 - test/stamina/induction/redblue_universal_expected.adl
 - test/stamina/induction/redblue_universal_sample.adl
 - test/stamina/induction/rpni_inria_expected.adl
 - test/stamina/induction/rpni_inria_sample.adl
-- test/stamina/induction/rpni_test.rb
 - test/stamina/induction/rpni_test_pta.dot
 - test/stamina/induction/rpni_universal_expected.adl
 - test/stamina/induction/rpni_universal_sample.adl
 - test/stamina/induction/union_find_test.rb
+- test/stamina/induction/blue_fringe_test.rb
 - test/stamina/input_string_test.rb
 - test/stamina/markable_test.rb
 - test/stamina/randdfa.adl
@@ -205,6 +248,21 @@ files:
 - test/stamina/automaton/walking_test.rb
 - test/stamina/automaton/to_dot_test.rb
 - test/stamina/automaton/metrics_test.rb
+- test/stamina/automaton/walking/dfa_delta_test.rb
+- test/stamina/automaton/equivalence_test.rb
+- test/stamina/automaton/strip_test.rb
+- test/stamina/automaton/complete_test.rb
+- test/stamina/automaton/minimize/minimize_test.rb
+- test/stamina/automaton/minimize/rice_edu_13.adl
+- test/stamina/automaton/minimize/rice_edu_13.min.adl
+- test/stamina/automaton/minimize/rice_edu_10.adl
+- test/stamina/automaton/minimize/rice_edu_10.min.adl
+- test/stamina/automaton/minimize/pitchies_test.rb
+- test/stamina/automaton/minimize/unknown_1.adl
+- test/stamina/automaton/minimize/unknown_1.min.adl
+- test/stamina/automaton/minimize/hopcroft_test.rb
+- test/stamina/automaton/minimize/should_strip_1.adl
+- test/stamina/automaton/minimize/should_strip_1.min.adl
 - test/test_all.rb
 - .gemtest
 - CHANGELOG.md
@@ -255,21 +313,23 @@ test_files:
 - test/stamina/automaton_additional_test.rb
 - test/stamina/automaton_test.rb
 - test/stamina/scoring_test.rb
+- test/stamina/abbadingo/random_dfa_test.rb
+- test/stamina/abbadingo/random_sample_test.rb
 - test/stamina/exit.rb
 - test/stamina/induction/induction_test.rb
 - test/stamina/induction/redblue_mergesamestatebug_expected.adl
 - test/stamina/induction/redblue_mergesamestatebug_pta.dot
 - test/stamina/induction/redblue_mergesamestatebug_sample.adl
-- test/stamina/induction/redblue_test.rb
+- test/stamina/induction/rpni_test.rb
 - test/stamina/induction/redblue_universal_expected.adl
 - test/stamina/induction/redblue_universal_sample.adl
 - test/stamina/induction/rpni_inria_expected.adl
 - test/stamina/induction/rpni_inria_sample.adl
-- test/stamina/induction/rpni_test.rb
 - test/stamina/induction/rpni_test_pta.dot
 - test/stamina/induction/rpni_universal_expected.adl
 - test/stamina/induction/rpni_universal_sample.adl
 - test/stamina/induction/union_find_test.rb
+- test/stamina/induction/blue_fringe_test.rb
 - test/stamina/input_string_test.rb
 - test/stamina/markable_test.rb
 - test/stamina/randdfa.adl
@@ -286,4 +346,19 @@ test_files:
 - test/stamina/automaton/walking_test.rb
 - test/stamina/automaton/to_dot_test.rb
 - test/stamina/automaton/metrics_test.rb
+- test/stamina/automaton/walking/dfa_delta_test.rb
+- test/stamina/automaton/equivalence_test.rb
+- test/stamina/automaton/strip_test.rb
+- test/stamina/automaton/complete_test.rb
+- test/stamina/automaton/minimize/minimize_test.rb
+- test/stamina/automaton/minimize/rice_edu_13.adl
+- test/stamina/automaton/minimize/rice_edu_13.min.adl
+- test/stamina/automaton/minimize/rice_edu_10.adl
+- test/stamina/automaton/minimize/rice_edu_10.min.adl
+- test/stamina/automaton/minimize/pitchies_test.rb
+- test/stamina/automaton/minimize/unknown_1.adl
+- test/stamina/automaton/minimize/unknown_1.min.adl
+- test/stamina/automaton/minimize/hopcroft_test.rb
+- test/stamina/automaton/minimize/should_strip_1.adl
+- test/stamina/automaton/minimize/should_strip_1.min.adl
 - test/test_all.rb