rlsm 1.1.0 → 1.8.1

data/Manifest

@@ -0,0 +1,26 @@
+Rakefile
+Manifest
+README
+rlsm.gemspec
+lib/rlsm.rb
+lib/rlsm/helper.rb
+lib/rlsm/monoid.rb
+lib/rlsm/dfa.rb
+lib/rlsm/regexp.rb
+lib/rlsm/regexp_parser.rb
+ext/monoid/extconf.rb
+ext/monoid/monoid_c_ext.c
+ext/array/extconf.rb
+ext/array/array_c_ext.c
+test/helpers.rb
+test/test_monoid.rb
+test/test_dfa.rb
+test/test_regexp.rb
+data/monoids.db
+examples/creating_db.rb
+examples/creating_lists.rb
+examples/presenting_monoids_in_tex.rb
+examples/regular_monoids.rb
+examples/order8.rb
+examples/benchmark.rb
+examples/numbers.rb

data/README

@@ -1,19 +1,16 @@
 = rlsm
 rlsm stands for *R*egular *L*anguages and *S*yntactic *M*onoids.
 
-Source is availible from
-  http://github.com/asmodis/rlsm
-
-RDoc-Documentation is availible from
-  http://rlsm.rubyforge.org
+Source is availible from http://github.com/asmodis/rlsm.
 
 == DESCRIPTION:
+Monoids play a large role in the theory of formal languages, especially in the 
+theory of regular languages. If +L+ is a regular language, there exists a finite monoid, 
+the so called syntactic monoid of +L+, and it is possible to get more informations about 
+the language by investigating properties of the monoid. On the other hand one is 
+interessted in the question which monoids are syntactic.
 
-This is a ruby implementation of three concepts:
- - Deterministic Finite Automata
- - Regular Expressions (in the sense of theoretical computer sience)
- - Monoids
-
+The rlsm gem allows the study of both questions.
 
 == SYNOPSIS:
 
@@ -24,6 +21,9 @@ This is a ruby implementation of three concepts:
   m.isomorph_to?(m) # => true
   m.commutative? # => false
 
+  m2 = RLSM::Monoid.from_regexp("ab*")
+  m2.aperiodic?
+
 == INSTALL:
 
   gem install rlsm 

data/Rakefile

@@ -5,8 +5,13 @@ require File.join(File.dirname(__FILE__), 'lib', 'rlsm')
 task :build_ext do
   Dir.chdir File.join(File.dirname(__FILE__), 'ext') do
     Dir.foreach('.') do |extension|
+      next if ['.','..'].include? extension 
       Dir.chdir extension do
+        rm "Makefile" if File.exists? 'Makefile'
+        rm "#{extension}_c_ext.o" if File.exists? "#{extension}_c_ext.o"
+        rm "#{extension}_cext.so" if File.exists? "#{extension}_cext.so"
         if File.exists? 'extconf.rb'
+          puts "In #{Dir.pwd}:"
           ruby 'extconf.rb'
           sh "make"
         end
@@ -23,62 +28,11 @@ task :test => :build_ext do
   end
 end
 
-task :create_manifest do
-  Dir.chdir(File.dirname(__FILE__)) do
-    File.open("Manifest", 'w') do |manifest|
-      FileList['lib/**/*.rb', 'ext/**/*.c','ext/**/*.rb', 'test/**/*'].to_a.each do |file|
-        manifest.puts file
-      end
-
-      manifest.puts "Rakefile"
-      manifest.puts "README"
-    end
-  end
-end
-
-task :create_gemspec => :create_manifest do
-  Dir.chdir(File.dirname(__FILE__)) do
-    readme = File.open("README")
-    manifest = File.open("Manifest")
-    filelist = "[" + manifest.to_a.map { |line| "'#{line.chomp}'" }.join(", ") + "]"
-    manifest.close
-
-    readme_string = '<<DESCRIPTION' + "\n" + readme.to_a.join + "\nDESCRIPTION"
-    readme.close
-
-    File.open(".gemspec", 'w') do |gemspec|
-      gemspec.puts <<GEMSPEC
-# -*- ruby -*-
-
-require "rake"
-
-Gem::Specification.new do |s|
-  s.author = "Gunther Diemant"
-  s.email = "g.diemant@gmx.net"
-  s.homepage = "http://github.com/asmodis/rlsm"
-  s.rubyforge_project = 'rlsm'
-
-  s.name = 'rlsm'
-  s.version = '#{RLSM::VERSION}'
-  s.add_development_dependency('minitest')
-  s.add_development_dependency('thoughtbot-shoulda')
-  s.summary = "Library for investigating regular languages and syntactic monoids."
-  s.description = #{readme_string}
-
-  s.files = #{filelist}
-  s.test_files = FileList['test/test_*.rb']
-  s.extensions = FileList['ext/**/extconf.rb']
-
-  s.has_rdoc = true
-  s.extra_rdoc_files = ['README']
-  s.rdoc_options << '--main' << 'README'
-end
-GEMSPEC
-    end
-  end
+task :test_monoid => :build_ext do
+  ruby "test/test_monoid.rb"
 end
 
-task :create_gem => :create_gemspec do
-  sh "gem build .gemspec"
+task :create_gem do
+  sh "gem build rlsm.gemspec"
   sh "mv *.gem gem/"
 end

data/examples/benchmark.rb

@@ -0,0 +1,14 @@
+require File.join(File.dirname(__FILE__), '..', 'lib', 'rlsm')
+
+#f = File.open("tempfile.txt",'w')
+x=0
+start = Time.now
+RLSM::Monoid.each_table(6) { x += 1 }
+puts "Elapsed time: #{Time.now - start}"
+start = Time.now
+RLSM::Monoid.each(6) { x += 1 }
+puts "Elapsed time: #{Time.now - start}"
+
+puts
+
+#f.close

data/examples/creating_db.rb

@@ -0,0 +1,52 @@
+#-*- ruby -*-
+
+require File.join(File.dirname(__FILE__), '..', 'lib', 'rlsm')
+require "rubygems"
+require "sqlite3"
+
+$db = SQLite3::Database.new("monoids.db")
+
+$db.execute <<SQL
+create table if not exists monoids (
+  binop            TEXT,
+  ord              INTEGER,
+  num_gen          INTEGER,
+  num_left_zeros   INTEGER,
+  num_right_zeros  INTEGER,
+  num_idempotents  INTEGER,
+  has_zero         INTEGER,
+  is_syntactic     INTEGER,
+  is_commutative   INTEGER,
+  is_idempotent    INTEGER,
+  is_aperiodic     INTEGER,
+  is_l_trivial     INTEGER,
+  is_r_trivial     INTEGER,
+  is_j_trivial     INTEGER,
+  is_group         INTEGER
+);
+SQL
+
+def monoid2sql(monoid)
+  translate = { true => '1', false => '0' }
+  sql = "insert into monoids values ("
+  sql += "'#{monoid.to_s.chop}', "
+  sql += "'#{monoid.order}', "
+  sql += "'#{monoid.generating_subset.size.to_s}', "
+  sql += "'#{monoid.left_zeros.size.to_s}', "
+  sql += "'#{monoid.right_zeros.size.to_s}', "
+  sql += "'#{monoid.idempotents.size.to_s}', "
+  sql += "'#{translate[monoid.zero?]}', "
+  sql += "'#{translate[monoid.syntactic?]}', "
+  sql += "'#{translate[monoid.commutative?]}', "
+  sql += "'#{translate[monoid.idempotent?]}', "
+  sql += "'#{translate[monoid.aperiodic?]}', "
+  sql += "'#{translate[monoid.l_trivial?]}', "
+  sql += "'#{translate[monoid.r_trivial?]}', "
+  sql += "'#{translate[monoid.j_trivial?]}', "
+  sql + "'#{translate[monoid.group?]}');"
+end
+
+7.times do |i|
+  RLSM::Monoid.each(i+1) { |mon| $db.execute monoid2sql(mon) }
+end
+

data/examples/creating_lists.rb

@@ -0,0 +1,185 @@
+require File.join(File.dirname(__FILE__), '..', 'lib', 'rlsm')
+require File.join(File.dirname(__FILE__), 'presenting_monoids_in_tex')
+
+require "rubygems"
+require "sqlite3"
+
+File.open("monoidlist.tex", "w") do |f|
+  db = SQLite3::Database.new(File.join(File.dirname(__FILE__), '..', 'data', 'monoids.db'))
+
+  #Making the header
+  f.puts "\\documentclass[8pt]{article}"
+  f.puts "\\usepackage[a4paper, left=2cm, right=2cm, top=1cm, bottom=2cm]{geometry}"
+  f.puts "\\usepackage[utf8]{inputenc}"
+  f.puts "\\usepackage[T1]{fontenc}"
+  f.puts "\\usepackage[all]{xy}"
+  
+  f.puts "\\begin{document}"
+  f.puts "\\title{Nichtäquivalente Monoide bis Ordnung 5}"
+  f.puts "\\date{}"
+  f.puts "\\maketitle"
+  f.puts "\\tableofcontents\n"
+
+  f.puts "\\section{Überblick}"
+  query = <<SQL
+SELECT
+ord AS 'Order',
+count(*) AS 'Total',
+total(is_syntactic) AS 'Syntactic',
+total(is_group) AS 'Groups',
+total(is_commutative) AS 'Commutative',
+total(is_aperiodic) AS 'Aperiodic',
+total(is_idempotent) AS 'Idempotent',
+total(is_j_trivial) AS 'J-trivial',
+total(is_r_trivial) AS 'R-trivial',
+total(is_l_trivial) AS 'L-trivial',
+total(has_zero) AS 'With zero element'
+FROM monoids
+GROUP BY ord
+ORDER BY 'Order' ASC;
+SQL
+  result = db.execute2(query)
+
+  f.puts "\\begin{center}"
+  f.puts "\\begin{tabular}{r|ccccccc}"
+
+  f.puts( (0..7).to_a.map { |i| "\\textbf{#{result[i][0]}}" }.join(' & ') + " \\\\ \\hline" )
+
+  1.upto 10 do |row_index|
+    f.puts "\\textbf{#{result[0][row_index]}} & "+ 
+      (1..7).to_a.map { |i| result[i][row_index].to_i }.join(' & ') + " \\\\" 
+  end
+
+  f.puts "\\end{tabular}"
+  f.puts "\\end{center}\n\n"
+  
+  1.upto 6 do |order|
+    num = db.execute("select count(*) from monoids where ord=#{order};").join
+    f.puts "\\section{Ordnung #{order} (#{num} Stück)}\n"
+
+    query = "SELECT * FROM monoids WHERE ord=#{order} AND is_syntactic=1 AND is_commutative=1 AND is_idempotent=1 ORDER BY binop;"
+    result = db.execute(query)
+
+    unless result.empty?
+      f.puts "\\subsection{Syntaktisch, Kommutativ und Idempotent (#{result.size} Stück)}\n"
+
+      result.each do |row| 
+        f.puts Presenter.db_row_to_latex(row, :lang => :de)
+        f.puts "\n\n"
+      end
+    end
+ 
+    
+    query = "SELECT * FROM monoids WHERE ord=#{order} AND is_syntactic=1 AND is_commutative=1 AND is_aperiodic=1 AND is_idempotent=0 ORDER BY binop;"
+    result = db.execute(query)
+
+    unless result.empty?
+      f.puts "\\subsection{Syntaktisch, Kommutativ und Aperiodisch (#{result.size} Stück)}\n"
+      
+      result.each do |row| 
+        f.puts Presenter.db_row_to_latex(row, :lang => :de)
+        f.puts "\n\n"
+      end
+    end
+    
+    query = "SELECT * FROM monoids WHERE ord=#{order} AND is_syntactic=1 AND is_commutative=1 AND is_aperiodic=0 ORDER BY binop;"
+    result = db.execute(query)
+
+    unless result.empty?
+      f.puts "\\subsection{Syntaktisch und Kommutativ (#{result.size} Stück)}\n"
+
+      result.each do |row| 
+        f.puts Presenter.db_row_to_latex(row, :lang => :de)
+        f.puts "\n\n"
+      end
+    end
+
+    query = "SELECT * FROM monoids WHERE ord=#{order} AND is_syntactic=1 AND is_idempotent=1 AND is_commutative=0 ORDER BY binop;"
+    result = db.execute(query)
+
+    unless result.empty?
+      f.puts "\\subsection{Syntaktisch und Idempotent (#{result.size} Stück)}\n"
+
+      result.each do |row| 
+        f.puts Presenter.db_row_to_latex(row, :lang => :de)
+        f.puts "\n\n"
+      end
+    end
+
+
+    query = "SELECT * FROM monoids WHERE ord=#{order} AND is_syntactic=1 AND is_aperiodic=1 AND is_idempotent=0 AND is_commutative=0 ORDER BY binop;"
+    result = db.execute(query)
+
+    unless result.empty?
+      f.puts "\\subsection{Syntaktisch und Aperiodisch (#{result.size} Stück)}\n"
+
+      result.each do |row| 
+        f.puts Presenter.db_row_to_latex(row, :lang => :de)
+        f.puts "\n\n"
+      end
+    end
+
+    query = "SELECT * FROM monoids WHERE ord=#{order} AND is_syntactic=0 AND is_commutative=1 AND is_idempotent=1 ORDER BY binop;"
+    result = db.execute(query)
+
+    unless result.empty?
+      f.puts "\\subsection{Nicht Syntaktisch, Kommutativ und Idempotent (#{result.size} Stück)}\n"
+
+      result.each do |row| 
+        f.puts Presenter.db_row_to_latex(row, :lang => :de)
+        f.puts "\n\n"
+      end
+    end
+ 
+
+    query = "SELECT * FROM monoids WHERE ord=#{order} AND is_syntactic=0 AND is_commutative=1 AND is_aperiodic=1 AND is_idempotent=0 ORDER BY binop;"
+    result = db.execute(query)
+
+    unless result.empty?
+      f.puts "\\subsection{Nicht Syntaktisch, Kommutativ und Aperiodisch (#{result.size} Stück)}\n"
+
+      result.each do |row| 
+        f.puts Presenter.db_row_to_latex(row, :lang => :de)
+        f.puts "\n\n"
+      end
+    end
+
+    query = "SELECT * FROM monoids WHERE ord=#{order} AND is_syntactic=0 AND is_commutative=1 AND is_aperiodic=0 ORDER BY binop;"
+    result = db.execute(query)
+
+    unless result.empty?
+      f.puts "\\subsection{Nicht Syntaktisch und Kommutativ (#{result.size} Stück)}\n"
+
+      result.each do |row| 
+        f.puts Presenter.db_row_to_latex(row, :lang => :de)
+        f.puts "\n\n"
+      end
+    end
+
+    query = "SELECT * FROM monoids WHERE ord=#{order} AND is_syntactic=0 AND is_idempotent=1 AND is_commutative=0 ORDER BY binop;"
+    result = db.execute(query)
+
+    unless result.empty?
+      f.puts "\\subsection{Nicht Syntaktisch und Idempotent (#{result.size} Stück)}\n"
+
+      result.each do |row| 
+        f.puts Presenter.db_row_to_latex(row, :lang => :de)
+        f.puts "\n\n"
+      end
+    end
+
+    query = "SELECT * FROM monoids WHERE ord=#{order} AND is_syntactic=0 AND is_aperiodic=1 AND is_commutative=0 AND is_idempotent=0 ORDER BY binop;"
+    result = db.execute(query)
+
+    unless result.empty?
+      f.puts "\\subsection{Nicht Syntaktisch und Aperiodisch (#{result.size} Stück)}\n"
+
+      result.each do |row| 
+        f.puts Presenter.db_row_to_latex(row, :lang => :de)
+        f.puts "\n\n"
+      end    
+    end  
+  end
+  
+  f.puts "\\end{document}"
+end

data/examples/numbers.rb

@@ -0,0 +1,41 @@
+#-*- ruby -*-
+
+require File.join(File.dirname(__FILE__), '..', 'lib', 'rlsm')
+require "rubygems"
+require "sqlite3"
+
+$db = SQLite3::Database.new("../data/monoids.db")
+
+[2,3,4,5,6,7].each do |i|
+  puts "Monoids of order #{i}:"
+  total = 0
+  syntactic = 0
+  regular = 0
+  reg_ns = 0
+  inverse = 0
+  inv_ns = 0
+  
+  $db.execute("SELECT binop FROM monoids WHERE ord=#{i};").each do |binop|
+    monoid = RLSM::Monoid[*binop]
+
+    total += 1
+    if monoid.syntactic?
+      syntactic += 1
+      regular += 1 if monoid.regular?
+      inverse += 1 if monoid.inverse?
+    else
+      regular += 1; reg_ns += 1 if monoid.regular?
+      inverse += 1; inv_ns += 1 if monoid.inverse?
+    end
+  end
+
+  puts "        Total: #{total}"
+  puts "    Syntactic: #{syntactic}"
+  puts "Not Syntactic: #{total - syntactic}"
+  puts "      Regular: #{regular}"
+  puts "      Inverse: #{inverse}"
+  puts "   Regular ns: #{reg_ns}"
+  puts "   Inverse ns: #{inv_ns}"
+  puts
+  puts
+end

data/examples/order8.rb

@@ -0,0 +1,13 @@
+require File.join(File.dirname(__FILE__), '..', 'lib', 'rlsm')
+
+
+File.open("order8.txt",'w') do |file|
+
+  count = 0
+  
+  RLSM::Monoid.each(8) do |mon|
+    count +=1
+    puts count
+    file.puts mon.to_s
+  end
+end