SEATC 0.0.1 → 0.0.4

checksums.yaml

@@ -1,7 +1,7 @@
 ---
-SHA256:
-  metadata.gz: e9f16975e2e451b7545fffa695b6c993433a391f0bb982c0b2e39a31e99febf7
-  data.tar.gz: b403cdc25b0710a485dcab81db6789d2f3739960d9bd808f16664d4862772c13
+SHA1:
+  metadata.gz: 66f327a45f65437e97b2156761a3b883888a6b94
+  data.tar.gz: 6f0cf8d8a198887c54fb4f91517ab0978875db27
 SHA512:
-  metadata.gz: c7f60542a5ad9957a90a31f0c4057ffd2fb1d94797faf61a17a20b863a2e50332dd21a28a585af13a9eabb3764df13a9c4559ac7b70c7cd4d395088ef644132c
-  data.tar.gz: 355e58cca02ba00444f03767b5324236520d0de081c3bfd3bea6228917702ed2c796ff8d2e568ebdf2765c870e875c6efad0c5e342cbd4d29284733f92789ed0
+  metadata.gz: f9a3893997079096c785eae03bb4d9603a85213127829083fac635a7425fab0e1c4a05dba6b52ee5fa2c95f42967914a583a8dbe980721b751328d835ca53dea
+  data.tar.gz: 772c965d67357ed2259d15bf0c1c6ac61ca9e2a1c7f3b6ec8d501aed254576e3cad9ff9eb5f03bce83206d31b8dcda6ce9248ad2bb098bb64cd1cfb6bacce91c

data/lib/Finite Automaton Analyzer.rb

@@ -9,9 +9,6 @@ class State
 		@transitions = Hash.new
 		@final = final
 	end
-	def print()
-		puts "My ID is #{@id} and I am #{@nombre}"
-	end
 	def addTrans(char, to)
 		@transitions[char] = to
 	end
@@ -76,7 +73,6 @@ class FiniteAutomatonAnalyzer
 				break
 			end
 		end
-		puts "Ending line is #{line}"
 		if(brokenLoop)
 			ret = false
 		else
@@ -88,89 +84,6 @@ class FiniteAutomatonAnalyzer
 		end
 	end
 
-	#Returns true if the automaton ends in final state, returns false otherwise
-	def self.analizeFiniteAutomatonFromFile(sourceFile, testFile)
-		file = File.new(sourceFile, "r")
-		line = file.read
-		file.close
-		counter = 1
-		lines = line.split("\n")
-		for lin in lines
-			puts "#{counter}: #{lin}"
-			counter = counter + 1
-		end
-		if lines[0] != "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?><!--Created with JFLAP 6.4.--><structure>&#13;"
-			puts "Not a JFLAP file"
-		end
-		# Check if finite automaton
-		puts lines[1]
-		if lines[1] == "\t<type>fa</type>&#13;"
-			puts "Finite automaton"
-		else
-			puts "Not a finite automaton"
-		end
-		states = []
-		counter = 4
-		i = 0
-		initialState = nil
-		modified = lines[counter]
-		while(modified.include? "state")
-			final = 0
-			aux = counter
-			id = getStateID(modified)
-			nombre = getStateName(modified)
-			puts "Modified string for state is ", modified
-			puts id
-			puts nombre
-			if(lines[counter + 3 ].include? "initial")
-				aux = aux + 1
-				initialState = id
-			end
-			if(lines[aux + 3].include? "final")
-				final = 1
-				aux = aux + 1
-			end
-			counter = aux + 4
-			modified = lines[counter]
-			states[id] = State.new(id, nombre, final)
-			i = i + 1
-		end
-		counter = counter + 1
-		modified = lines[counter]
-		puts states[5]==nil
-		while(modified.include? "transition")
-			counter = counter + 1
-			modified = lines[counter]
-			modified.slice! "\t\t\t<from>"
-			from = readTransInt(modified)
-			counter = counter + 1
-			modified = lines[counter]
-			modified.slice! "\t\t\t<to>"
-			to = readTransInt(modified)
-			counter = counter + 1
-			modified = lines[counter]
-			modified.slice! "\t\t\t<read>"
-			trans = modified[0]
-			states[from].addTrans(trans, to)
-			counter = counter + 2
-			modified = lines[counter]
-			puts "Lets go from #{from} to #{to} with #{trans}"
-		end
-		puts "Initial state is #{initialState}"
-
-		#Validate
-		file = File.new(testFile, "r")
-		line = file.read
-		file.close
-		counter = 1
-		lines = line.split("\n")
-		for lin in lines
-			puts "#{counter}: #{lin}"
-			valid = validateString(initialState, states, lin)
-			puts "Is valid? #{valid}"
-			counter = counter + 1
-		end
-	end
 	#Returns true if the automaton ends in final state, returns false otherwise
 	def self.analizeFiniteAutomatonFromString(sourceFile, testString)
 		file = File.new(sourceFile, "r")
@@ -179,19 +92,14 @@ class FiniteAutomatonAnalyzer
 		counter = 1
 		lines = line.split("\n")
 		for lin in lines
-			puts "#{counter}: #{lin}"
 			counter = counter + 1
 		end
-		puts "First line is " + lines[0]
-		if !lines[0].include? "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?><!--Created with JFLAP 6.4.--><structure>&#13;"
-			puts "Not a JFLAP file"
+		if !lines[0].match? "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>"
+			return false
 		end
 		# Check if finite automaton
-		puts lines[1]
-		if lines[1].include? "<type>fa</type>&#13;"
-			puts "Finite automaton"
-		else
-			puts "Not a finite automaton"
+		if !lines[1].include? "<type>fa</type>&#13;"
+			return false
 		end
 		states = []
 		counter = 4
@@ -203,9 +111,6 @@ class FiniteAutomatonAnalyzer
 			aux = counter
 			id = getStateID(modified)
 			nombre = getStateName(modified)
-			puts "Modified string for state is ", modified
-			puts id
-			puts nombre
 			if(lines[counter + 3 ].include? "initial")
 				aux = aux + 1
 				initialState = id
@@ -221,7 +126,6 @@ class FiniteAutomatonAnalyzer
 		end
 		counter = counter + 1
 		modified = lines[counter]
-		puts states[5]==nil
 		while(modified.include? "transition")
 			counter = counter + 1
 			modified = lines[counter]
@@ -238,9 +142,7 @@ class FiniteAutomatonAnalyzer
 			states[from].addTrans(trans, to)
 			counter = counter + 2
 			modified = lines[counter]
-			puts "Lets go from #{from} to #{to} with #{trans}"
 		end
-		puts "Initial state is #{initialState}"
 
 		#Validate
 		lin = testString

data/lib/Regular Expression.rb

@@ -0,0 +1,32 @@
+class RegularExpression
+  @regex
+
+  def readFile(file)
+    file = File.new(file, "r")
+    line = file.read
+    file.close
+    lines = line.split("\n")
+  end
+
+  def createRegex(lines)
+    regex = ""
+    if !lines[0].match "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>"
+    end
+    if !lines[1].include? "\t<type>re</type>"
+    end
+    regex = lines[3]
+    regex.slice! "\t<expression>"
+    regex.reverse!
+    regex.slice! "</expression>".reverse
+    regex.reverse!
+    @regex = Regexp.new regex
+  end
+  def analyze(file, input)
+    createRegex(readFile(file))
+    if @regex.match(input)
+      return true
+    else
+      return false
+    end
+  end
+end

data/lib/Regular Grammar Analyzer.rb

@@ -0,0 +1,180 @@
+class RegularGrammarProduction
+  @left
+  @right
+  def initialize(left)
+    @left = left
+    @right = []
+  end
+  def addRight(right)
+    @right.push(right)
+  end
+  def getRight()
+    return @right
+  end
+end
+
+SYNTAX_ERROR = 1
+PRODUCTION_ERROR = 2
+
+class RegularGrammar
+  @valid
+  @error
+
+  def initialize()
+    @valid = false
+    @error = 0
+  end
+  def getLeft(modified)
+  	modified.slice! "\t\t<left>"
+  	ret = modified[0]
+  end
+
+  def getRight(modified)
+  	modified.slice! "\t\t<right>"
+  	ret = ""
+  	while(modified[0] != "<")
+        	sliced = modified[0]
+  		modified.slice! sliced
+  		ret = ret + sliced
+  	end
+  	return ret
+  end
+
+  #returns an Array containing the lines from the file
+  def readFile(file)
+    file = File.new(file, "r")
+    line = file.read
+    file.close
+    lines = line.split("\n")
+  end
+
+  #returns the Hash containing the productions
+  def createProductions(lines)
+    productions = Hash.new
+    if !lines[0].include? "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?><!--Created with JFLAP 6.4.--><structure>&#13;"
+      @error = SYNTAX_ERROR
+      return productions
+    end
+    if !lines[1].include? "\t<type>grammar</type>&#13;"
+      @error = SYNTAX_ERROR
+    	return productions
+    end
+    counter = 3
+    i = 0
+    modified = lines[counter]
+    while(modified.include? "production")
+    	modified = lines[counter + 1]
+    	left = getLeft(modified)
+    	modified = lines[counter + 2]
+    	right = getRight(modified)
+      while right[0] == "\t"
+        right.slice! "\t"
+      end
+      if right.length > 2
+        @error = PRODUCTION_ERROR
+      end
+    	counter = counter + 4
+    	modified = lines[counter]
+      if productions[left] == nil
+        productions[left] = RegularGrammarProduction.new(left)
+      end
+      productions[left].addRight(right)
+    	i = i + 1
+    end
+    return productions
+  end
+
+  def chompLambda(string)
+    if !@valid
+      @valid = (string.length==0)
+    end
+  end
+
+  def chompChar(string, char)
+    if !@valid
+      @valid = (string.length == 1 && string[0] == char)
+    end
+  end
+
+  def analyzeInput(productions, line, state)
+    # Right Grammar S -> aS | a
+    prods = productions[state].getRight()
+    prods = prods.sort_by(&:length)
+    prods.reverse!
+    prods.each do |p|
+      #Check for lambda
+      if p.length == 0
+        if line.length == 0
+          return true
+        else
+          return false
+        end
+      elsif p.length == 1
+        # Check for ending
+        # For a terminal only production
+        if p[0].downcase == p[0]
+          # Terminal
+          ret = p[0] == line[0] && line.length == 1
+          return ret
+        else
+          # Non-terminal
+          ret = analyzeInput(productions, line, p[0])
+          return ret
+        end
+      elsif p.length > 1
+        if line.length > 1
+          # For a non-terminal and terminal production
+          if p[0].downcase != p[0]
+            # S -> Sa
+            puts "Example S -> aS"
+            return false if p[1] != line[0]
+            newLine = line
+            newLine.slice! p[1]
+            ret = analyzeInput(productions, newLine, p[0])
+            return ret
+          else
+            # S -> aS
+            return false if p[0] != line[0]
+            newLine = line
+            newLine.reverse!
+            newLine.slice! p[0]
+            newLine.reverse!
+            ret = analyzeInput(productions, newLine, p[1])
+            return ret
+          end
+        elsif line.length == 1
+          # For a non-terminal and terminal production
+          if p[0].downcase != p[0]
+            # S -> Sa
+            return true if productions[p[0]].getRight.include? ""
+            return false if p[1] != line[0]
+            return true if productions[state].getRight.include?(p[1]) && p[1] == line[0]
+            newLine = line
+            newLine.slice! p[1]
+            puts p[0]
+            ret = analyzeInput(productions, newLine, p[0])
+            return ret
+          else
+            # S -> aS
+            return true if productions[p[1]].getRight.include?("")
+            return false if p[0] != line[0]
+            return true if (productions[state].getRight.include?(p[0]) && p[0] == line[0])
+            newLine = line
+            newLine.reverse!
+            newLine.slice! p[0]
+            newLine.reverse!
+            ret = analyzeInput(productions, newLine, p[1])
+            return ret
+          end
+        end
+      end
+    end
+  end
+
+  def analyze(file, line)
+    productions = createProductions(readFile(file))
+    @valid = analyzeInput(productions, line, "S")
+    puts @valid
+    return @valid
+  end
+end

data/samples/Regular Expression.jff

@@ -0,0 +1,5 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 6.4.--><structure>
+	<type>re</type>
+	<!--The regular expression.-->
+	<expression>a*b*c+</expression>
+</structure>

data/samples/Regular Grammar.jff

@@ -0,0 +1,16 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 6.4.--><structure>&#13;
+	<type>grammar</type>&#13;
+	<!--The list of productions.-->&#13;
+	<production>&#13;
+		<left>S</left>&#13;
+		<right>aA</right>&#13;
+	</production>&#13;
+	<production>&#13;
+		<left>A</left>&#13;
+		<right>aS</right>&#13;
+	</production>&#13;
+	<production>&#13;
+		<left>A</left>&#13;
+		<right>a</right>&#13;
+	</production>&#13;
+</structure>

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: SEATC
 version: !ruby/object:Gem::Version
-  version: 0.0.1
+  version: 0.0.4
 platform: ruby
 authors:
 - Salvador Guerra Delgado
@@ -20,7 +20,11 @@ files:
 - Rakefile
 - bin/Finite Automaton
 - lib/Finite Automaton Analyzer.rb
+- lib/Regular Expression.rb
+- lib/Regular Grammar Analyzer.rb
 - samples/Finite Automaton.jff
+- samples/Regular Expression.jff
+- samples/Regular Grammar.jff
 homepage: http://rubygems.org/gems/SEATC
 licenses: []
 metadata: {}
@@ -40,7 +44,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 2.7.4
+rubygems_version: 2.5.2.1
 signing_key: 
 specification_version: 3
 summary: SEATC