Merge branch 'CYK' of https://github.com/PedroCardouzo/FormalLanguages into CYK

Author: PedroCardouzo

Readme.md

@@ -0,0 +1,22 @@
+## Formal Languages Assignment 
+### 00275739 - Pedro Emilio Cardouzo 
+### 00244113 - Giovani Chassot Simon 
+### 00205685 - Alexandre dos Reis Saccol
+
+### Usage:
+
+#### Providing grammar and single input without spaces:
+``` $ python main.py grammars/grammar_name.txt this_is_a_word ```
+
+
+#### Providing grammar and single input with spaces (use quote marks):
+```$ python main.py grammars/grammar_name.txt "this is a sentence"```
+
+
+#### Providing just grammar, with inputs provided in the program:
+```$ python main.py grammars/grammar_name.txt```
+
+
+#### Running the program without command-line arguments, providing grammar and input within the program:
+
+```$ python main.py```

Readme.txt

@@ -0,0 +1,16 @@
+#Terminais						# A secao de simbolos terminais eh a primeira do arquivo.
+[ a ]
+[ b ]
+#Variaveis						# A secao de variaveis inicia pela palavra reservada "Variaveis", e eh a segunda do arquivo
+[ S ]
+[ A ]
+#Inicial						# O simbolo inicial possui uma secao propria, iniciada pela palavra "Inicial"
+[ S ]							# Essa secao possui apenas uma linha com o simbolo inicial entre colchetes.
+#Regras							# A ultima secao vem encabecada pela palavra-chave "Regras"
+[ S ] > [ A ] [ A ]
+[ S ] > [ A ] [ S ]
+[ S ] > [ b ]
+
+[ A ] > [ S ] [ A ]
+[ A ] > [ A ] [ S ]
+[ A ] > [ a ]

grammars/cyk_example_Blauth.txt

@@ -0,0 +1,21 @@
+#Terminais						# A secao de simbolos terminais eh a primeira do arquivo.
+[ a ]
+[ b ]
+#Variaveis						# A secao de variaveis inicia pela palavra reservada "Variaveis", e eh a segunda do arquivo
+[ S ]
+[ A ]
+[ C ]
+#Inicial						# O simbolo inicial possui uma secao propria, iniciada pela palavra "Inicial"
+[ S ]							# Essa secao possui apenas uma linha com o simbolo inicial entre colchetes.
+#Regras							# A ultima secao vem encabecada pela palavra-chave "Regras"
+[ S ] > [ A ] [ B ]
+[ S ] > [ B ] [ C ]
+
+[ A ] > [ B ] [ A ]
+[ A ] > [ a ]
+
+[ B ] > [ C ] [ C ]
+[ B ] > [ b ]
+
+[ C ] > [ A ] [ B ]
+[ C ] > [ a ]

grammars/cyk_example_Hopcroft.txt

@@ -0,0 +1,32 @@
+#Terminais						# A secao de simbolos terminais eh a primeira do arquivo.
+[ she ]
+[ eats ]
+[ with ]
+[ fish ]
+[ fork ]
+[ a ]
+#Variaveis						# A secao de variaveis inicia pela palavra reservada "Variaveis", e eh a segunda do arquivo
+[ S ]
+[ VP ]
+[ NP ]
+[ PP ]
+[ Det ]
+[ VB ]
+[ P ]
+[ N ]
+
+#Inicial						# O simbolo inicial possui uma secao propria, iniciada pela palavra "Inicial"
+[ S ]							# Essa secao possui apenas uma linha com o simbolo inicial entre colchetes.
+#Regras							# A ultima secao vem encabecada pela palavra-chave "Regras"
+[ S ] > [ NP ] [ VP ]
+[ VP ] > [ VP ] [ PP ]
+[ VP ] > [ VB ] [ NP ]
+[ VP ] > [ eats ]
+[ PP ] > [ P ] [ NP ]
+[ NP ] > [ Det ] [ N ]
+[ NP ] > [ she ]
+[ VB ] > [ eats ]
+[ P ] > [ with ]
+[ N ] > [ fish ]
+[ N ] > [ fork ]
+[ Det ] > [ a ]

grammars/cyk_example_Wikipedia.txt

@@ -0,0 +1,54 @@
+#Terminais
+[ runs ]				
+[ barks ]				
+[ eats ]				
+[ chases ]				
+[ park ]				
+[ dog ]					
+[ cat ]					
+[ meat ]				
+[ the ]					
+[ a ]
+[ in ]
+[ with ]
+[ at ]					
+#Variaveis
+[ N ]					
+[ VB ]					
+[ NP ]					
+[ DT ]					
+[ VP ]
+[ S ]
+[ PP ]
+[ P ]
+#Inicial
+[ S ]					
+#Regras
+[ S ] > [ NP ] [ VP ]	
+[ S ] > [ S ] [ S ]	
+[ NP ] > [ dog ]		
+[ NP ] > [ cat ]		
+[ NP ] > [ meat ]		
+[ NP ] > [ park ]		
+[ NP ] > [ DT ] [ N ]
+[ NP ] > [ NP ] [ PP ]
+[ N ] > [ dog ]			
+[ N ] > [ cat ]
+[ N ] > [ meat ]
+[ N ] > [ park ]
+[ VP ] > [ VB ] [ NP ]
+[ VP ] > [ VP ] [ PP ]
+[ VP ] > [ runs ]
+[ VP ] > [ barks ]
+[ VP ] > [ eats ]
+[ VP ] > [ chases ]
+[ VB ] > [ runs ]
+[ VB ] > [ barks ]
+[ VB ] > [ eats ]
+[ VB ] > [ chases ]
+[ DT ] > [ a ]
+[ DT ] > [ the ]
+[ PP ] > [ P ] [ NP ]
+[ P ] > [ in ]
+[ P ] > [ with ]
+[ P ] > [ at ]

grammars/gramatica_exemplo2.txt

@@ -0,0 +1,14 @@
+#Terminais						# A secao de simbolos terminais eh a primeira do arquivo.
+[ a ]
+[ b ]
+#Variaveis						# A secao de variaveis inicia pela palavra reservada "Variaveis", e eh a segunda do arquivo
+[ S ]
+[ A ]
+[ B ]
+#Inicial						# O simbolo inicial possui uma secao propria, iniciada pela palavra "Inicial"
+[ S ]							# Essa secao possui apenas uma linha com o simbolo inicial entre colchetes.
+#Regras							# A ultima secao vem encabecada pela palavra-chave "Regras"
+[ S ] > [ A ] [ B ]
+[ S ] > [ a ]
+
+[ A ] > [ b ]

grammars/newtest.txt

@@ -0,0 +1,25 @@
+#Terminais						# A secao de simbolos terminais eh a primeira do arquivo.
+[ V ]
+[ empty ]
+[ a ]
+[ b ]
+[ ( ]
+[ ) ]
+[ + ]
+[ * ]
+#Variaveis						# A secao de variaveis inicia pela palavra reservada "Variaveis", e eh a segunda do arquivo
+[ S ]
+[ Terminal ]
+[ Other ]
+#Inicial						# O simbolo inicial possui uma secao propria, iniciada pela palavra "Inicial"
+[ S ]							# Essa secao possui apenas uma linha com o simbolo inicial entre colchetes.
+#Regras							# A ultima secao vem encabecada pela palavra-chave "Regras"
+[ S ] > [ empty ]
+[ S ] > [ V ]
+[ S ] > [ ( ] [ S ] [ + ] [ S ] [ ) ]
+[ S ] > [ ( ] [ S ] [ S ] [ ) ]
+[ S ] > [ S ] [ * ] [ S ]
+[ S ] > [ Terminal ]
+[ S ] > [ Other ]
+[ Terminal ] > [ a ]
+[ Terminal ] > [ b ]

grammars/regular_expression.txt

@@ -0,0 +1,19 @@
+#Terminais						# A secao de simbolos terminais eh a primeira do arquivo.
+[ a ]
+[ b ]
+#Variaveis						# A secao de variaveis inicia pela palavra reservada "Variaveis", e eh a segunda do arquivo
+[ S ]
+[ X ]
+[ Y ]
+#Inicial						# O simbolo inicial possui uma secao propria, iniciada pela palavra "Inicial"
+[ S ]							# Essa secao possui apenas uma linha com o simbolo inicial entre colchetes.
+#Regras							# A ultima secao vem encabecada pela palavra-chave "Regras"
+[ S ] > [ a ] [ X ] [ a ]
+[ S ] > [ b ] [ X ] [ b ]
+[ S ] > [ V ]
+
+[ X ] > [ a ]
+[ X ] > [ b ]
+
+[ X ] > [ Y ]
+[ Y ] > [ V ]

grammars/removal_empty_productions_Blauth.txt

@@ -0,0 +1,18 @@
+#Terminais						# A secao de simbolos terminais eh a primeira do arquivo.
+[ a ]
+[ b ]
+#Variaveis						# A secao de variaveis inicia pela palavra reservada "Variaveis", e eh a segunda do arquivo
+[ S ]
+[ A ]
+[ B ]
+#Inicial						# O simbolo inicial possui uma secao propria, iniciada pela palavra "Inicial"
+[ S ]							# Essa secao possui apenas uma linha com o simbolo inicial entre colchetes.
+#Regras							# A ultima secao vem encabecada pela palavra-chave "Regras"
+[ S ] > [ A ] [ B ]
+
+[ A ] > [ a ] [ A ] [ A ]
+[ A ] > [ V ]
+
+[ B ] > [ b ] [ B ] [ B ]
+[ B ] > [ V ]
+

grammars/removal_empty_productions_Hopcroft.txt

@@ -0,0 +1,19 @@
+#Terminais						# A secao de simbolos terminais eh a primeira do arquivo.
+[ a ]
+[ b ]
+[ c ]
+#Variaveis						# A secao de variaveis inicia pela palavra reservada "Variaveis", e eh a segunda do arquivo
+[ S ]
+[ A ]
+[ B ]
+[ C ]
+#Inicial						# O simbolo inicial possui uma secao propria, iniciada pela palavra "Inicial"
+[ S ]							# Essa secao possui apenas uma linha com o simbolo inicial entre colchetes.
+#Regras							# A ultima secao vem encabecada pela palavra-chave "Regras"
+[ S ] > [ a ] [ A ] [ a ]
+[ S ] > [ b ] [ B ] [ b ]
+
+[ A ] > [ a ]
+[ A ] > [ S ]
+
+[ C ] > [ c ]

grammars/removal_useless_symbols_Blauth.txt

@@ -0,0 +1,14 @@
+#Terminais						# A secao de simbolos terminais eh a primeira do arquivo.
+[ a ]
+[ b ]
+#Variaveis						# A secao de variaveis inicia pela palavra reservada "Variaveis", e eh a segunda do arquivo
+[ S ]
+[ A ]
+[ B ]
+#Inicial						# O simbolo inicial possui uma secao propria, iniciada pela palavra "Inicial"
+[ S ]							# Essa secao possui apenas uma linha com o simbolo inicial entre colchetes.
+#Regras							# A ultima secao vem encabecada pela palavra-chave "Regras"
+[ S ] > [ A ] [ B ]
+[ S ] > [ a ]
+
+[ A ] > [ b ]

grammars/removal_useless_symbols_Hopcroft.txt

@@ -0,0 +1,19 @@
+#Terminais						# A secao de simbolos terminais eh a primeira do arquivo.
+[ a ]
+[ b ]
+[ c ]
+#Variaveis						# A secao de variaveis inicia pela palavra reservada "Variaveis", e eh a segunda do arquivo
+[ S ]
+[ A ]
+[ B ]
+[ C ]
+#Inicial						# O simbolo inicial possui uma secao propria, iniciada pela palavra "Inicial"
+[ S ]							# Essa secao possui apenas uma linha com o simbolo inicial entre colchetes.
+#Regras							# A ultima secao vem encabecada pela palavra-chave "Regras"
+[ S ] > [ a ] [ A ] [ a ]
+[ S ] > [ b ] [ B ] [ b ]
+
+[ A ] > [ a ]
+[ A ] > [ S ]
+
+[ C ] > [ c ]

grammars/t1.txt

@@ -0,0 +1,14 @@
+#Terminais						# A secao de simbolos terminais eh a primeira do arquivo.
+[ a ]
+[ b ]
+#Variaveis						# A secao de variaveis inicia pela palavra reservada "Variaveis", e eh a segunda do arquivo
+[ S ]
+[ A ]
+[ B ]
+#Inicial						# O simbolo inicial possui uma secao propria, iniciada pela palavra "Inicial"
+[ S ]							# Essa secao possui apenas uma linha com o simbolo inicial entre colchetes.
+#Regras							# A ultima secao vem encabecada pela palavra-chave "Regras"
+[ S ] > [ A ] [ B ]
+[ S ] > [ a ]
+
+[ A ] > [ b ]

grammars/t2.txt

@@ -3,28 +3,58 @@
 from src.ChomskyNormalForm import ChomskyNormalForm
 from src.CYKTable import *
 
-def main():
-
-    # filename handling stuff
-    file_folder = './grammars/'  # folder is test_grammars
-    filename = ''  # input('name of grammar file inside grammars (default = test.txt): ')
+def get_grammar_filename():
+    file_folder = './grammars/'  
+    if len(sys.argv) >= 2:
+        file_folder = ''
+        filename = sys.argv[1]
+
+    else:
+        filename = input('Enter the name of a grammar from within the ./grammars/ directory: ')
     if filename == '':
-        filename = '4_a.txt'
+        print('No filename given, assuming t.txt')
+        filename = 't.txt'
+
+    return file_folder + filename
+
+def get_input_word_from_command_line():
+    if len(sys.argv) == 3:
+        return sys.argv[2]
+    elif len(sys.argv) > 3:
+        print('\nSentences (i.e., words with spaces in them) should be entered between "quote marks". \nIgnoring command-line input.')
+        return ''
+
+
+
+
+
+def main():
 
     grammar = Grammar(log=True)  # True is sent to 'log' as we want to log each step of minimization
     try:
-        grammar.read_grammar_from_file(file_folder + filename)
+        filename = get_grammar_filename()
+        grammar.read_grammar_from_file(filename)
     except FileNotFoundError:
         print('File ' + filename + ' could not be found inside grammars folder. Please check if name is correct.')
         sys.exit(1)
 
     cyk_parser = Parser(grammar, log_grammar_preparation=True)
-    cyk_parser.parse('abaab')
 
-    #for c in tree.children:
-     #   print('*'*30)
-      #  print(c[0].__str__() + '\n' + c[1].__str__())
-       # print('*'*30)
+    command_line_word = get_input_word_from_command_line()
+    if command_line_word:
+        cyk_parser.parse(command_line_word)
+
+    else:
+        word = ' '
+        while word:
+            word = input('Enter an input word or sentence (or just press Enter to exit): ')
+            if word:
+                cyk_parser.parse(word)
+            else:
+                print('\nNo word entered this time.')
+
+    print('\nSEE YOU SPACE COWBOY...\n')
+