LambdaRegexp 0.0.1

data/.gitignore

@@ -0,0 +1,20 @@
+	# Backup
+*~
+	# bundle gem
+*.gem
+*.rbc
+.bundle
+.config
+.yardoc
+Gemfile.lock
+InstalledFiles
+_yardoc
+coverage
+doc/
+lib/bundler/man
+pkg
+rdoc
+spec/reports
+test/tmp
+test/version_tmp
+tmp

data/.travis.yml

@@ -0,0 +1,10 @@
+# File : .travis.yml
+
+language: ruby
+rvm:
+  - 1.9.3
+  - jruby-18mode # JRuby in 1.8 mode
+  - jruby-19mode # JRuby in 1.9 mode
+  - rbx-18mode
+  - rbx-19mode
+  - 1.8.7

data/Gemfile

@@ -0,0 +1,4 @@
+source 'https://rubygems.org'
+
+# Specify your gem's dependencies in ULL-ETSII-Alu3299-LambdaRegexp.gemspec
+gemspec

data/Guardfile

@@ -0,0 +1,10 @@
+# File : Guardfile
+
+# A sample Guardfile
+# More info at https://github.com/guard/guard#readme
+
+guard 'rspec' do
+  watch(%r{^spec/.+_spec\.rb$})
+  watch(%r{^lib/(.+)\.rb$})     { |m| "spec/lib/#{m[1]}_spec.rb" }
+  watch('spec/spec_helper.rb')  { "spec" }
+end

data/LICENSE.txt

@@ -0,0 +1,25 @@
+				Free Documentation License
+                Version 0.0.1, 3 December 2012
+
+Copyright (c) 2012 mdbgalvan
+
+Everyone is permitted to copy and distribute verbatim copies of this 
+license document, but changing it is not allowed.
+
+PREAMBLE
+
+The purpose of this License is to make a manual, textbook, or other 
+functional and useful document "free" in the sense of freedom: to assure 
+everyone the effective freedom to copy and redistribute it, with or 
+without modifying it, either commercially or noncommercially. Secondarily, 
+this License preserves for the author and publisher a way to get credit 
+for their work, while not being considered responsible for modifications 
+made by others.
+
+We have designed this License in order to use it for manuals for free 
+software, because free software needs free documentation: a free program 
+should come with manuals providing the same freedoms that the software does. 
+But this License is not limited to software manuals; it can be used for 
+any textual work, regardless of subject matter or whether it is published 
+as a printed book. We recommend this License principally for works whose 
+purpose is instruction or reference.

data/LambdaRegexp.gemspec

@@ -0,0 +1,26 @@
+# -*- encoding: utf-8 -*-
+lib = File.expand_path('../lib', __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require 'LambdaRegexp/version'
+
+Gem::Specification.new do |gem|
+  gem.name          = "LambdaRegexp"
+  gem.version       = LambdaRegexp::VERSION
+  gem.authors       = ["mdbgalvan"]
+  gem.email         = ["magomenlopark@gmail.com"]
+  gem.description   = %q{Expresiones regulares}
+  gem.summary       = %q{Cazador de prefijos}
+  gem.homepage      = "https://github.com/mdbGalvan/LPP_Lab11"
+
+  gem.files         = `git ls-files`.split($/)
+  gem.executables   = gem.files.grep(%r{^bin/}).map{ |f| File.basename(f) }
+  gem.test_files    = gem.files.grep(%r{^(test|spec|features)/})
+  gem.require_paths = ["lib"]
+
+  gem.add_development_dependency 'rake'
+  gem.add_development_dependency 'rspec'
+  gem.add_development_dependency 'guard-rspec'
+  gem.add_development_dependency 'guard'
+  gem.add_development_dependency 'rdoc'
+  gem.add_development_dependency 'rb-readline'
+end

data/README.md

@@ -0,0 +1,21 @@
+#Autora:		María D. Batista Galván
+#Fecha:			Lunes 3 de Diciembre de 2012
+#Asignatura:	Lenguajes y Paradigmas de la Programación.
+#Práctica:		Laboratorio 11 : Un Lambda-Engine para las Expresiones Regulares
+
+##Pasos
+
+En dicha asignatura y para esta décima primera práctica se debía realizar los siguientes pasos:
+
+Véase Práctica: Un Motor para las Expresiones Regulares en Pocas Líneas (https://dl.dropbox.com/u/14539152/LPP/LPPbook/node44.html) para una descripción detallada
+Si el enlace queda obsoleto busque en el índice de los apuntes (http://http//nereida.deioc.ull.es/~lpp/perlexamples/) por las sección: "Práctica: Un Motor para las Expresiones Regulares en Pocas Líneas"
+
+	1. Use TDD con RSpec
+	2. Use Unit Testing
+	3. Use Continuous Integration (Travis)
+	4. Use Continuous Testing (Guard)
+	5. Documente su gema (véase RDOC::Markup o RDOC o YARD).
+	6. Véa un ejemplo ilustrativo de como debería quedar la documentación del módulo creado en module ULL::ETSII::AluXXX::LambdaRegexp
+	7. Cree una gema ull-etsii-aluXX-lambdaregexp
+	8. Publique la gema en RubyGems.org
+	9. Indique la URL de su repositorio en GitHub

data/Rakefile

@@ -0,0 +1,12 @@
+$:.unshift File.dirname(__FILE__) + 'lib'
+
+require "bundler/gem_tasks"
+
+require 'rspec/core/rake_task'
+RSpec::Core::RakeTask.new
+task :default => :spec
+
+desc "Run rspec with --format documentation"
+task :doc do
+  sh "rspec -Ilib spec/*.rb --format documentation --color"
+end

data/bin/lambdaRegexp_main.rb

@@ -0,0 +1,57 @@
+require 'LambdaRegexp'
+
+include ULL::ETSII::Alu3299::LambdaRegexp
+
+if __FILE__ == $0
+	
+	e = -('c'.re)
+	s = 'ccddd'
+	remaining = e[s]
+	puts "/c?/ '#{s}' Matched. Remaining = '#{remaining}'" if remaining
+
+	e = ~('c'.re) - -('f'.re) - +('d'.re)
+	s = 'ccdddf'
+	remaining = e[s]
+	puts "/c*f?d+/ '#{s}' Matched. Remaining = '#{remaining}'" if remaining
+
+	# Ejemplo proporcionado por el profesor
+	e = 'cd'.re
+	s = 'cde'
+	remaining = e[s] # 'cde' Matched. Remaining = 'e' 
+	puts "/cd/ '#{s}' Matched. Remaining = '#{remaining}'" if remaining
+
+	e = 'd'.re | 'r'.re
+	s = 'rdddf'     
+	remaining = e[s] #  'rdddf' Matched. Remaining = 'dddf' 
+	puts "/d|r/ '#{s}' Matched. Remaining = '#{remaining}'" if remaining
+
+	e = 'c'.re - ('d'.re | 'r'.re)
+	s = 'crddf'     
+	remaining = e[s] # 'crddf' Matched. Remaining = 'ddf' 
+	puts "/c(d|r)/ '#{s}' Matched. Remaining = '#{remaining}'" if remaining
+
+	e = 'c'.re - +('d'.re | 'r'.re)
+	s = 'crddf'
+	remaining = e[s]
+	puts "/c(d|r)+/ '#{s}' Matched. Remaining = '#{remaining}'" if remaining
+
+	e = 'c'.re - ~('d'.re | 'r'.re)
+	s = 'cdrdrf'
+	remaining = e[s]
+	puts "/c(d|r)*/ '#{s}' Matched. Remaining = '#{remaining}'" if remaining
+
+	e = 'c'.re - ~('d'.re | 'r'.re)
+	s = 'cfff'
+	remaining = e[s]
+	puts "/c(d|r)*/ '#{s}' Matched. Remaining = '#{remaining}'" if remaining
+
+	e = 'c'.re - ~('d'.re | 'r'.re)
+	s = 'cdrd'
+	remaining = e[s]
+	puts "/c(d|r)*/ '#{s}' Matched. Remaining = '#{remaining}'" if remaining
+
+	e = 'c'.re - +('d'.re | 'r'.re)
+	s = 'cfff'
+	remaining = e[s] # 'cfff' didn't match. Remaining = 'false'
+	puts "/c(d|r)+/ '#{s}' didn't match. Remaining = '#{remaining}'" unless remaining
+end

data/lib/LambdaRegexp/lambdaRegexp.rb

@@ -0,0 +1,87 @@
+# File : lambdaRegexp.rb
+
+module ULL
+  module ETSII
+    module Alu3299
+      module LambdaRegexp
+      	
+                module_function
+
+                # | Disyunción: ó
+                def alt(left, right)
+                  lambda { |x|  left[x] or right[x] }
+                end
+
+                # Cadena
+                def char(c)
+                  lambda { |x| x[0,c.length] == c and x[c.length..-1] }
+                end
+
+                # e : Cadena vacía
+                def epsilon
+                  lambda {|x| x }
+                end
+
+                # + Cierre Positivo de Kleene: una o más repeticiones
+                def plus(r)
+                  lambda { |x| seq(r, star(r))[x] }
+                end
+
+                # · Concatenación: seguido de
+                def seq(left, right)
+                  lambda { |x| w = left[x] and right[w] }
+                end
+
+                # * Cierre Estrella de Kleene: cero o más repeticiones
+                def star(r)
+                  lambda { |x| plus(r)[x] or epsilon[x] }
+                end
+
+                # ? : cero o una repetición
+                def question(r)
+                    lambda { |x| alt(r, epsilon)[x] }
+                end
+
+            end
+        end
+    end
+end
+
+class Proc
+    include ULL::ETSII::Alu3299::LambdaRegexp
+
+    # · Concatenación: seguido de
+    def - (r)
+        seq(self, r)
+    end
+
+    # | Disyunción: ó
+    def | (r)
+        alt(self, r)
+    end
+
+    # + Cierre Positivo de Kleene: una o más repeticiones
+    def +@
+        plus(self)
+    end
+
+    # * Cierre Estrella de Kleene: cero o más repeticiones
+    def ~@
+        star(self)
+    end
+
+    # ? : cero o una repetición
+    def -@
+        question(self)
+    end
+
+end
+
+class String
+    include ULL::ETSII::Alu3299::LambdaRegexp
+
+    # Cadena
+    def re
+        char(self)
+    end
+end

data/lib/LambdaRegexp/version.rb

@@ -0,0 +1,3 @@
+module LambdaRegexp
+	VERSION = "0.0.1"
+end

data/lib/LambdaRegexp.rb

@@ -0,0 +1,16 @@
+# File : ULL-ETSII-Alu3299-LambdaRegexp.rb
+
+require "LambdaRegexp/version"
+require "LambdaRegexp/lambdaRegexp.rb"
+
+module ULL
+  module ETSII
+    module Alu3299
+      module LambdaRegexp
+
+      end
+    end
+  end
+end
+
+

data/spec/LambdaRegexp_spec.rb

@@ -0,0 +1,108 @@
+require 'LambdaRegexp'
+
+describe ULL::ETSII::Alu3299::LambdaRegexp do
+
+    include ULL::ETSII::Alu3299::LambdaRegexp
+
+    before :all do
+        @er1 = char('c')
+        @er2 = char('d')
+    end
+
+    describe "#Metodos" do
+        it "Se debe invocar el metodo alt() para recoger la union de dos ER" do
+            e = alt(@er1, @er2)
+            s = 'cddde'
+            remaining = e[s]
+            remaining.should == "ddde"
+        end
+
+        it "Se debe invocar el metodo char() para recoger una ER" do
+            e = char('cd')
+            s = 'cddde'
+            remaining = e[s]
+            remaining.should == "dde"
+        end
+
+        it "Se debe invocar el metodo epsilon() para escoger la cadena vacia" do
+            e = epsilon()
+            s = 'cddde'
+            remaining = e[s]
+            remaining.should == "cddde"
+        end
+
+        it "Se debe invocar el metodo plus() para recoger el Cierre Estrella de Kleene de una ER" do
+            e = plus(@er1)
+            s = 'cddde'
+            remaining = e[s]
+            remaining.should == "ddde"
+        end
+
+        it "Se debe invocar el metodo seq() para recoger la concatenacion de dos ER" do
+            e = seq(@er1, @er2)
+            s = 'cddde'
+            remaining = e[s]
+            remaining.should == "dde"
+        end
+
+        it "Se debe invocar el metodo star() para recoger el Cierre positivo de Kleene de una ER" do
+            e = star(@er1)
+            s = 'cddde'
+            remaining = e[s]
+            remaining.should == "ddde"
+        end
+
+        it "Se debe invocar el metodo question() para recoger cero o una repeticion de una ER" do
+            e = star(@er2)
+            s = 'cddde'
+            remaining = e[s]
+            remaining.should == "cddde"
+        end
+    end
+
+    describe "#Operador" do
+       it "Se debe invocar el metodo -(r) para recoger la concatenacion de dos ER" do
+            e = @er1 - @er2
+            s = 'cddde'
+            remaining = e[s]
+            remaining.should == "dde"
+        end 
+
+        it "Se debe invocar el metodo | (r) para recoger la union de dos ER" do
+            e = @er1 | @er2
+            s = 'cddde'
+            remaining = e[s]
+            remaining.should == "ddde"
+        end
+
+        it "Se debe invocar el metodo +@ para recoger el Cierre Estrella de Kleene de una ER" do
+            e = +(@er1)
+            s = 'cddde'
+            remaining = e[s]
+            remaining.should == "ddde"
+        end
+
+        it "Se debe invocar el metodo ~@ para recoger el Cierre positivo de Kleene de una ER" do
+            e = ~(@er1)
+            s = 'cddde'
+            remaining = e[s]
+            remaining.should == "ddde"
+        end
+
+        it "Se debe invocar el metodo -@ para recoger cero o una repeticion de una ER" do
+            e = -(@er2)
+            s = 'cddde'
+            remaining = e[s]
+            remaining.should == "cddde"
+        end
+
+        it "Se debe invocar el metodo re() para recoger una ER" do
+            e = 'cd'.re
+            s = 'cddde'
+            remaining = e[s]
+            remaining.should == "dde"
+        end
+
+    end
+
+end

metadata

@@ -0,0 +1,156 @@
+--- !ruby/object:Gem::Specification
+name: LambdaRegexp
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+  prerelease: 
+platform: ruby
+authors:
+- mdbgalvan
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2012-12-08 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: guard-rspec
+  requirement: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: guard
+  requirement: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: rdoc
+  requirement: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: rb-readline
+  requirement: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+description: Expresiones regulares
+email:
+- magomenlopark@gmail.com
+executables:
+- lambdaRegexp_main.rb
+extensions: []
+extra_rdoc_files: []
+files:
+- .gitignore
+- .travis.yml
+- Gemfile
+- Guardfile
+- LICENSE.txt
+- LambdaRegexp.gemspec
+- README.md
+- Rakefile
+- bin/lambdaRegexp_main.rb
+- lib/LambdaRegexp.rb
+- lib/LambdaRegexp/lambdaRegexp.rb
+- lib/LambdaRegexp/version.rb
+- spec/LambdaRegexp_spec.rb
+homepage: https://github.com/mdbGalvan/LPP_Lab11
+licenses: []
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 1.8.24
+signing_key: 
+specification_version: 3
+summary: Cazador de prefijos
+test_files:
+- spec/LambdaRegexp_spec.rb