Example #1
0
    def abrir(self):
        self.limpiar()
        file_name = self.file_dialog.abrir()
        if file_name != "None":
            self.mt = MaquinaTuring()
            self.mt = self.mt.cargar(file_name)
            
            self.conj_estados = self.mt.conj_estados
            self.alfabeto_entrada = self.mt.alfabeto_entrada
            self.conj_estados_finales_aceptadores = self.mt.conj_estados_finales_aceptadores
            self.char_blanco = self.mt.blanco
            self.estado_inicial = self.mt.estado_inicial
            i=1
            aux = ""
            list_estados = []
            for i in self.conj_estados:
                if i != "[" and i != "]" and i != "," and i != "[" and i != "'" and i != " ":
                    aux = aux + i + " "
                    list_estados.append(i)
            self.conj_estados = aux
            i=1
            aux = ""
            list_estados_acep = []
            for i in self.conj_estados_finales_aceptadores:
                if i != "[" and i != "]" and i != "," and i != "[" and i != "'" and i != " ":
                    aux = aux + i
                    list_estados_acep.append(i)
            self.conj_estados_finales_aceptadores = aux
            i=1
            aux = ""
            list_alfabeto = []
            for i in self.alfabeto_entrada:
                if i != "[" and i != "]" and i != "," and i != "[" and i != "'" and i != " ":
                    aux = aux + i
                    list_alfabeto.append(i)
            self.alfabeto_entrada = aux
             
            self.main_window.ui.EstadoIniText.setText(self.estado_inicial)
            self.main_window.ui.AlfabetoText.setText(self.alfabeto_entrada)
            self.main_window.ui.EstadosAcepText.setText(self.conj_estados_finales_aceptadores)
            self.main_window.ui.EstadosText.setText(self.conj_estados)
            self.main_window.ui.SimbBlancoText.setText(self.char_blanco)
            
            list_items = self.mt.getItems()
            
            self.main_window.ui.transcisionesWidget.setColumnCount(5)
            self.main_window.ui.transcisionesWidget.setContentsMargins(1, 1, 1, 1)
            self.main_window.ui.transcisionesWidget.setAllColumnsShowFocus(True)
            self.main_window.ui.transcisionesWidget.setColumnWidth(0,55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(1,55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(2,55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(3,55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(4,55)
            
            i=0
            self.list_items = []
            for i in list_items:
                self.list_items.append(i)
                item = QtGui.QTreeWidgetItem(i)
                self.main_window.ui.transcisionesWidget.addTopLevelItem(item)
            
            self.main_window.ui.actionNueva.setDisabled(False)
            self.main_window.ui.actionAbrir.setDisabled(False)
            self.main_window.ui.actionCerrar.setDisabled(False)
            self.main_window.ui.actionGuardar.setDisabled(False)
            self.main_window.ui.actionEjecutar.setDisabled(False)
            self.main_window.ui.actionPaso.setDisabled(False)
            self.main_window.ui.actionDetener.setDisabled(False)
            self.main_window.ui.actionCargar.setDisabled(False)
            
            self.main_window.ui.EstadosText.setEnabled(False)
            self.main_window.ui.AlfabetoText.setEnabled(False)
            self.main_window.ui.EstadosAcepText.setEnabled(False)
            self.main_window.ui.SimbBlancoText.setEnabled(False)
            self.main_window.ui.EstadoIniText.setEnabled(False)
            self.main_window.ui.aceptarTuringBoton.setEnabled(False)
                  
            self.conj_estados = list_estados 
            self.alfabeto_entrada = list_alfabeto
            self.conj_estados_finales_aceptadores = list_estados_acep

            self.main_window.activarTransicion(self)
            
            self.main_window.setWindowTitle(QtGui.QApplication.translate("MainWindow", "SIMTUR - Simulador Maquina de Turing" + " : " + "'"+ self.nombreArchivo() + "'", None, QtGui.QApplication.UnicodeUTF8))
            self.main_window.ui.transcisionesWidget.setAlternatingRowColors(True)
Example #2
0
 def __reinit__(self, conj_estados, alfabeto_entrada, estado_inicial, char_blanco, conj_estados_finales_aceptadores):
     self.mt = MaquinaTuring(conj_estados, alfabeto_entrada, estado_inicial, char_blanco, conj_estados_finales_aceptadores) 
Example #3
0
class SimTur():
    
    #----------------------------------------------------#
    
    def __init__(self):
        app = QtGui.QApplication(sys.argv)
        self.main_window=MainWindow()
        self.main_window.setFixedSize(640,480)
        self.main_window.show()
        self.main_window.nueva()
        self.file_dialog=FileDialog()
        self.setSignals() 
        self.conj_estados = []
        self.alfabeto_entrada = []
        self.estado_inicial = 0
        self.char_blanco = ""
        self.cadena = ""
        self.conj_estados_finales_aceptadores = []
        self.list_items = [] 
        sys.exit(app.exec_())
    
    #----------------------------------------------------#
    
    def __reinit__(self, conj_estados, alfabeto_entrada, estado_inicial, char_blanco, conj_estados_finales_aceptadores):
        self.mt = MaquinaTuring(conj_estados, alfabeto_entrada, estado_inicial, char_blanco, conj_estados_finales_aceptadores) 
    
    #----------------------------------------------------#

    def ejecutar(self):
        self.cadena = self.main_window.ui.CadenaText.toPlainText()
        if self.cadena != "":
            self.main_window.mostrar("")
            cad = "<span style=color:#736F6E;>" "<B>" + "... Iniciando la Maquina de Turing ..." + "</B>" "</span>"
            self.main_window.mostrar(cad)
            self.mt.reinit(str(self.cadena))
            self.mt.estado = self.mt.estado_inicial
            run = True
            j = 1
            while run:
                self.mt.cinta.mostrar_2(self.main_window,j)
                aux = self.mt.paso()
                j = j + 1
                if (aux == "Acepto"):
                    aux = "<span style=color:#736F6E;>" "<B>" + "... Acepto la cadena ..." + "</B>" "</span>"
                    run = False
                if (aux == "Error"):
                    aux = "<span style=color:red;>" "<B>" + "... Rechazo la cadena ..." + "</B>" "</span>"
                    run = False
            self.main_window.imprimir(aux)
        else:
            msj = "<span style=color:red;>" + "Error : Ingrese una cadena" + "</span>"
            self.main_window.mostrar(msj)     
            
    #----------------------------------------------------#
    
    def pasoapaso(self):
        self.cadena = self.main_window.ui.CadenaText.toPlainText()
        if self.cadena != "":
            # Verifico si es el inicio de la Maquina Turing
            if Vars.paso == 1:
                self.main_window.mostrar("")
                cad = "<span style=color:#736F6E;>" "<B>" + "... Iniciando la Maquina de Turing ..." + "</B>" "</span>"
                self.main_window.mostrar(cad)
                self.mt.reinit(str(self.cadena))
                self.mt.estado = self.mt.estado_inicial
                Vars.run = True
            
            # Verifico sino termino la Maquina Turing
            if Vars.run == True:
                self.mt.cinta.mostrar_2(self.main_window,Vars.paso)
                aux = self.mt.paso()
                Vars.paso = Vars.paso + 1
                if (aux == "Acepto"):
                    aux = "<span style=color:#736F6E;>" "<B>" + "... Acepto la cadena ..." + "</B>" "</span>"
                    Vars.run = False
                elif (aux == "Error"):
                    aux = "<span style=color:red;>" "<B>" + "... Rechazo la cadena ..." + "</B>" "</span>"
                    Vars.run = False
                else:
                    pass
                    self.seleccionarTransicion(aux)
                
            if Vars.run == False:
                Vars.paso = 1
                self.main_window.imprimir(aux)
        else:
            msj = "<span style=color:red;>" + "Error : Ingrese una cadena" + "</span>"
            self.main_window.mostrar(msj)

    #----------------------------------------------------#
            
    def detener(self):
        Vars.paso = 1
        Vars.run = False
        self.main_window.ui.CintatextBrowser.clear()
        
    #----------------------------------------------------#
            
    def guardar(self):
        file_name = self.file_dialog.guardar()
        if file_name != "None":
            self.mt.guardar(self, file_name)
            self.main_window.setWindowTitle(QtGui.QApplication.translate("MainWindow", "SIMTUR - Simulador Maquina de Turing" + " : " + "'"+ self.nombreArchivo() + "'", None, QtGui.QApplication.UnicodeUTF8))
        
    #----------------------------------------------------#

    def abrir(self):
        self.limpiar()
        file_name = self.file_dialog.abrir()
        if file_name != "None":
            self.mt = MaquinaTuring()
            self.mt = self.mt.cargar(file_name)
            
            self.conj_estados = self.mt.conj_estados
            self.alfabeto_entrada = self.mt.alfabeto_entrada
            self.conj_estados_finales_aceptadores = self.mt.conj_estados_finales_aceptadores
            self.char_blanco = self.mt.blanco
            self.estado_inicial = self.mt.estado_inicial
            i=1
            aux = ""
            list_estados = []
            for i in self.conj_estados:
                if i != "[" and i != "]" and i != "," and i != "[" and i != "'" and i != " ":
                    aux = aux + i + " "
                    list_estados.append(i)
            self.conj_estados = aux
            i=1
            aux = ""
            list_estados_acep = []
            for i in self.conj_estados_finales_aceptadores:
                if i != "[" and i != "]" and i != "," and i != "[" and i != "'" and i != " ":
                    aux = aux + i
                    list_estados_acep.append(i)
            self.conj_estados_finales_aceptadores = aux
            i=1
            aux = ""
            list_alfabeto = []
            for i in self.alfabeto_entrada:
                if i != "[" and i != "]" and i != "," and i != "[" and i != "'" and i != " ":
                    aux = aux + i
                    list_alfabeto.append(i)
            self.alfabeto_entrada = aux
             
            self.main_window.ui.EstadoIniText.setText(self.estado_inicial)
            self.main_window.ui.AlfabetoText.setText(self.alfabeto_entrada)
            self.main_window.ui.EstadosAcepText.setText(self.conj_estados_finales_aceptadores)
            self.main_window.ui.EstadosText.setText(self.conj_estados)
            self.main_window.ui.SimbBlancoText.setText(self.char_blanco)
            
            list_items = self.mt.getItems()
            
            self.main_window.ui.transcisionesWidget.setColumnCount(5)
            self.main_window.ui.transcisionesWidget.setContentsMargins(1, 1, 1, 1)
            self.main_window.ui.transcisionesWidget.setAllColumnsShowFocus(True)
            self.main_window.ui.transcisionesWidget.setColumnWidth(0,55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(1,55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(2,55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(3,55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(4,55)
            
            i=0
            self.list_items = []
            for i in list_items:
                self.list_items.append(i)
                item = QtGui.QTreeWidgetItem(i)
                self.main_window.ui.transcisionesWidget.addTopLevelItem(item)
            
            self.main_window.ui.actionNueva.setDisabled(False)
            self.main_window.ui.actionAbrir.setDisabled(False)
            self.main_window.ui.actionCerrar.setDisabled(False)
            self.main_window.ui.actionGuardar.setDisabled(False)
            self.main_window.ui.actionEjecutar.setDisabled(False)
            self.main_window.ui.actionPaso.setDisabled(False)
            self.main_window.ui.actionDetener.setDisabled(False)
            self.main_window.ui.actionCargar.setDisabled(False)
            
            self.main_window.ui.EstadosText.setEnabled(False)
            self.main_window.ui.AlfabetoText.setEnabled(False)
            self.main_window.ui.EstadosAcepText.setEnabled(False)
            self.main_window.ui.SimbBlancoText.setEnabled(False)
            self.main_window.ui.EstadoIniText.setEnabled(False)
            self.main_window.ui.aceptarTuringBoton.setEnabled(False)
                  
            self.conj_estados = list_estados 
            self.alfabeto_entrada = list_alfabeto
            self.conj_estados_finales_aceptadores = list_estados_acep

            self.main_window.activarTransicion(self)
            
            self.main_window.setWindowTitle(QtGui.QApplication.translate("MainWindow", "SIMTUR - Simulador Maquina de Turing" + " : " + "'"+ self.nombreArchivo() + "'", None, QtGui.QApplication.UnicodeUTF8))
            self.main_window.ui.transcisionesWidget.setAlternatingRowColors(True)
                  
    #----------------------------------------------------#
            
    def nombreArchivo(self):
        aux = ""
        
        name = self.file_dialog.nombreArchivo
        for i in name:
            if i != "/":
                aux = aux + i
            else:
                aux = ""
            if i == ".":
                return aux
                
                
    
    
    def limpiar(self):
        self.main_window.ui.EstadosText.setEnabled(True)
        self.main_window.ui.EstadosText.setText("")
        self.main_window.ui.AlfabetoText.setEnabled(True)
        self.main_window.ui.AlfabetoText.setText("")
        self.main_window.ui.EstadosAcepText.setEnabled(True)
        self.main_window.ui.EstadosAcepText.setText("")
        self.main_window.ui.SimbBlancoText.setEnabled(True)
        self.main_window.ui.SimbBlancoText.setText("")
        self.main_window.ui.EstadoIniText.setEnabled(True)
        self.main_window.ui.EstadoIniText.setText("")
        self.main_window.ui.comboBox.setEnabled(True)
        self.main_window.ui.comboBox_2.setEnabled(True)
        self.main_window.ui.comboBox_3.setEnabled(True)
        self.main_window.ui.comboBox_4.setEnabled(True)
        self.main_window.ui.comboBox_5.setEnabled(True)
        self.main_window.ui.comboBox.clear()
        self.main_window.ui.comboBox_2.clear()
        self.main_window.ui.comboBox_3.clear()
        self.main_window.ui.comboBox_4.clear()
        self.main_window.ui.comboBox_5.clear()
        self.main_window.ui.transcisionesWidget.setEnabled(True)
        self.main_window.ui.transcisionesWidget.clear()
        self.main_window.ui.CintatextBrowser.setEnabled(True)
        self.main_window.ui.CintatextBrowser.clear()
        self.main_window.ui.AgregarTransicionBoton.setEnabled(True)
        self.main_window.ui.BorrarTransicionBoton.setEnabled(True)
        
    #----------------------------------------------------#     
    
    def setSignals(self):
        QtCore.QObject.connect(self.main_window.ui.actionAbrir, QtCore.SIGNAL(("triggered()")), self.abrir)
        QtCore.QObject.connect(self.main_window.ui.actionGuardar, QtCore.SIGNAL(("triggered()")), self.guardar)
        QtCore.QObject.connect(self.main_window.ui.actionNueva, QtCore.SIGNAL(("triggered()")), self.main_window.nueva)
        QtCore.QObject.connect(self.main_window.ui.actionCerrar, QtCore.SIGNAL(("triggered()")), self.main_window.nueva)
        QtCore.QObject.connect(self.main_window.ui.aceptarTuringBoton, QtCore.SIGNAL(("clicked()")), self.validarTuring)
        QtCore.QObject.connect(self.main_window.ui.AgregarTransicionBoton, QtCore.SIGNAL(("clicked()")), self.agregarTransicion)
        QtCore.QObject.connect(self.main_window.ui.actionEjecutar, QtCore.SIGNAL(("triggered()")), self.ejecutar)
        QtCore.QObject.connect(self.main_window.ui.actionPaso, QtCore.SIGNAL(("triggered()")), self.pasoapaso)
        QtCore.QObject.connect(self.main_window.ui.actionDetener, QtCore.SIGNAL(("triggered()")), self.detener)
        QtCore.QObject.connect(self.main_window.ui.BorrarTransicionBoton, QtCore.SIGNAL(("clicked()")), self.borrarTransicion)
            
    #----------------------------------------------------#
            
    def validarTuring(self):
        carga_datos_flag = True
        self.main_window.mostrar("")
        
        # reset de variables
        self.conj_estados = []
        self.alfabeto_entrada = []
        self.char_blanco = ""
        self.conj_estados_finales_aceptadores = []
        self.estado_inicial = ""
        
        # verificacion del conjunto de estados
        conj_estados = self.main_window.ui.EstadosText.toPlainText()
        for i in conj_estados:
            i = str(i)
            if (i != ',') and (i != " ") and (i != "\t"):
                self.conj_estados.append(i)
                carga_datos_flag = carga_datos_flag and True
        
        # Verificacion del alfabeto de entrada
        alfabeto_entrada = self.main_window.ui.AlfabetoText.toPlainText()
        
        for i in alfabeto_entrada:
            i = str(i)
            """
            if i in self.conj_estados:
                self.main_window.mostrar("Error en la carga del Alfabeto")
                self.main_window.ui.AlfabetoText.selectAll()
                self.main_window.ui.AlfabetoText.setFocus()
                carga_datos_flag = carga_datos_flag and False
                break
            """
            if (i != ',') and (i != " ") and (i != "\t"):
                self.alfabeto_entrada.append(i)
                carga_datos_flag = carga_datos_flag and True   
        
        # Verificacion de estados aceptadores
        conj_estados_finales_aceptadores_2 = []
        conj_estados_finales_aceptadores_1 = self.main_window.ui.EstadosAcepText.toPlainText()
        
        for i in conj_estados_finales_aceptadores_1:
            i = str(i)
            if (i != ',') and (i != " ") and (i != "\t"):
                conj_estados_finales_aceptadores_2.append(i)
        for i in conj_estados_finales_aceptadores_2:
            if i in self.conj_estados:
                self.conj_estados_finales_aceptadores.append(i)
                carga_datos_flag = carga_datos_flag and True
            else:
                self.main_window.mostrar("Error en la carga de los Estados Aceptadores")
                self.main_window.ui.EstadosAcepText.selectAll()
                self.main_window.ui.EstadosAcepText.setFocus()
                carga_datos_flag = carga_datos_flag and False
                break
        
        char_blanco = self.main_window.ui.SimbBlancoText.toPlainText()
        
        if char_blanco in self.alfabeto_entrada:
            self.main_window.mostrar("Error en la carga del Simbolo Blanco")
            self.main_window.ui.SimbBlancoText.selectAll()
            self.main_window.ui.SimbBlancoText.setFocus()
            carga_datos_flag = carga_datos_flag and False
        else:
            self.char_blanco = char_blanco
            carga_datos_flag = carga_datos_flag and True
            
        estado_inicial = self.main_window.ui.EstadoIniText.toPlainText()
        if estado_inicial in self.conj_estados:
            self.estado_inicial = estado_inicial
            carga_datos_flag = carga_datos_flag and True
        else:
            self.main_window.mostrar("Error en la carga del Estado Inicial")
            self.main_window.ui.EstadoIniText.selectAll()
            self.main_window.ui.EstadoIniText.setFocus()
            carga_datos_flag = carga_datos_flag and False
        
        if carga_datos_flag == True:
            self.main_window.activarTransicion(self)
            self.main_window.desactivarCargaDatos()
            self.crearTuring()
            
            self.main_window.ui.actionNueva.setDisabled(False)
            self.main_window.ui.actionAbrir.setDisabled(False)
            self.main_window.ui.actionCerrar.setDisabled(False)
            self.main_window.ui.actionGuardar.setDisabled(False)
            self.main_window.ui.actionEjecutar.setDisabled(False)
            self.main_window.ui.actionPaso.setDisabled(False)
            self.main_window.ui.actionDetener.setDisabled(False)
            self.main_window.ui.actionCargar.setDisabled(False)
            self.main_window.ui.aceptarTuringBoton.setDisabled(True)
            
    #----------------------------------------------------#
    
    def crearTuring(self):
        self.__reinit__(str(self.conj_estados), str(self.alfabeto_entrada), str(self.estado_inicial), str(self.char_blanco), str(self.conj_estados_finales_aceptadores))
        
    #----------------------------------------------------#
    
    def agregarTransicion(self):

        transicion = [ str(self.main_window.ui.comboBox.currentText()) , str(self.main_window.ui.comboBox_2.currentText()) , str(self.main_window.ui.comboBox_3.currentText()), str(self.main_window.ui.comboBox_4.currentText()), str(self.main_window.ui.comboBox_5.currentText())]
        if ( transicion != ['', '', '', '', ''] ) and ( transicion not in self.list_items ):
            self.list_items.append(transicion)
            item = QtGui.QTreeWidgetItem(transicion)
            self.main_window.ui.transcisionesWidget.addTopLevelItem(item)
            self.mt.agregarTransicion(str(self.main_window.ui.comboBox.currentText()) , str(self.main_window.ui.comboBox_2.currentText()) , str(self.main_window.ui.comboBox_3.currentText()), str(self.main_window.ui.comboBox_4.currentText()), str(self.main_window.ui.comboBox_5.currentText()), transicion)
        else:
            self.main_window.mostrar("<span style=color:red;>" "<B>" + "No se permite la carga de transiciones duplicadas" + "</B>" "</span>")
    
    #----------------------------------------------------#
        
    def borrarTransicion(self):
        item = self.main_window.ui.transcisionesWidget.currentItem()
        if item!= None:
            transicion = [str(item.text(0)) , str(item.text(1)) , str(item.text(2)), str(item.text(3)), str(item.text(4))]
            self.mt.borrarTransicion(str(item.text(0)) , str(item.text(1)) , str(item.text(2)), str(item.text(3)), str(item.text(4)), transicion)
            self.main_window.ui.transcisionesWidget.removeItemWidget(item,0)
            self.main_window.ui.transcisionesWidget.removeItemWidget(item,1)
            self.main_window.ui.transcisionesWidget.removeItemWidget(item,2)
            self.main_window.ui.transcisionesWidget.removeItemWidget(item,3)
            self.main_window.ui.transcisionesWidget.removeItemWidget(item,4)
        else:
            self.main_window.mostrar("<span style=color:red;>" "<B>" + "Debe seleccionar una transicion a borrar" + "</B>" "</span>")
    
    def seleccionarTransicion(self, aux):
        a,b,c,d,e = aux
        transicion = [str(a),str(b),str(c),str(d),str(e)]
        i = 0
        while i < self.main_window.ui.transcisionesWidget.topLevelItemCount():
            item = self.main_window.ui.transcisionesWidget.topLevelItem(i)
            item_transicion = [str(item.text(0)), str(item.text(1)), str(item.text(2)), str(item.text(3)), str(item.text(4))]
            if transicion == item_transicion:
                self.main_window.ui.transcisionesWidget.setCurrentItem(item)
                break
            i = i + 1
Example #4
0
    def abrir(self):
        self.limpiar()
        file_name = self.file_dialog.abrir()
        if file_name != "None":
            self.mt = MaquinaTuring()
            self.mt = self.mt.cargar(file_name)

            self.conj_estados = self.mt.conj_estados
            self.alfabeto_entrada = self.mt.alfabeto_entrada
            self.conj_estados_finales_aceptadores = self.mt.conj_estados_finales_aceptadores
            self.char_blanco = self.mt.blanco
            self.estado_inicial = self.mt.estado_inicial
            i = 1
            aux = ""
            list_estados = []
            for i in self.conj_estados:
                if i != "[" and i != "]" and i != "," and i != "[" and i != "'" and i != " ":
                    aux = aux + i + " "
                    list_estados.append(i)
            self.conj_estados = aux
            i = 1
            aux = ""
            list_estados_acep = []
            for i in self.conj_estados_finales_aceptadores:
                if i != "[" and i != "]" and i != "," and i != "[" and i != "'" and i != " ":
                    aux = aux + i
                    list_estados_acep.append(i)
            self.conj_estados_finales_aceptadores = aux
            i = 1
            aux = ""
            list_alfabeto = []
            for i in self.alfabeto_entrada:
                if i != "[" and i != "]" and i != "," and i != "[" and i != "'" and i != " ":
                    aux = aux + i
                    list_alfabeto.append(i)
            self.alfabeto_entrada = aux

            self.main_window.ui.EstadoIniText.setText(self.estado_inicial)
            self.main_window.ui.AlfabetoText.setText(self.alfabeto_entrada)
            self.main_window.ui.EstadosAcepText.setText(
                self.conj_estados_finales_aceptadores)
            self.main_window.ui.EstadosText.setText(self.conj_estados)
            self.main_window.ui.SimbBlancoText.setText(self.char_blanco)

            list_items = self.mt.getItems()

            self.main_window.ui.transcisionesWidget.setColumnCount(5)
            self.main_window.ui.transcisionesWidget.setContentsMargins(
                1, 1, 1, 1)
            self.main_window.ui.transcisionesWidget.setAllColumnsShowFocus(
                True)
            self.main_window.ui.transcisionesWidget.setColumnWidth(0, 55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(1, 55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(2, 55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(3, 55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(4, 55)

            i = 0
            self.list_items = []
            for i in list_items:
                self.list_items.append(i)
                item = QtGui.QTreeWidgetItem(i)
                self.main_window.ui.transcisionesWidget.addTopLevelItem(item)

            self.main_window.ui.actionNueva.setDisabled(False)
            self.main_window.ui.actionAbrir.setDisabled(False)
            self.main_window.ui.actionCerrar.setDisabled(False)
            self.main_window.ui.actionGuardar.setDisabled(False)
            self.main_window.ui.actionEjecutar.setDisabled(False)
            self.main_window.ui.actionPaso.setDisabled(False)
            self.main_window.ui.actionDetener.setDisabled(False)
            self.main_window.ui.actionCargar.setDisabled(False)

            self.main_window.ui.EstadosText.setEnabled(False)
            self.main_window.ui.AlfabetoText.setEnabled(False)
            self.main_window.ui.EstadosAcepText.setEnabled(False)
            self.main_window.ui.SimbBlancoText.setEnabled(False)
            self.main_window.ui.EstadoIniText.setEnabled(False)
            self.main_window.ui.aceptarTuringBoton.setEnabled(False)

            self.conj_estados = list_estados
            self.alfabeto_entrada = list_alfabeto
            self.conj_estados_finales_aceptadores = list_estados_acep

            self.main_window.activarTransicion(self)

            self.main_window.setWindowTitle(
                QtGui.QApplication.translate(
                    "MainWindow", "SIMTUR - Simulador Maquina de Turing" +
                    " : " + "'" + self.nombreArchivo() + "'", None,
                    QtGui.QApplication.UnicodeUTF8))
            self.main_window.ui.transcisionesWidget.setAlternatingRowColors(
                True)
Example #5
0
 def __reinit__(self, conj_estados, alfabeto_entrada, estado_inicial,
                char_blanco, conj_estados_finales_aceptadores):
     self.mt = MaquinaTuring(conj_estados, alfabeto_entrada, estado_inicial,
                             char_blanco, conj_estados_finales_aceptadores)
Example #6
0
class SimTur():

    #----------------------------------------------------#

    def __init__(self):
        app = QtGui.QApplication(sys.argv)
        self.main_window = MainWindow()
        self.main_window.setFixedSize(640, 480)
        self.main_window.show()
        self.main_window.nueva()
        self.file_dialog = FileDialog()
        self.setSignals()
        self.conj_estados = []
        self.alfabeto_entrada = []
        self.estado_inicial = 0
        self.char_blanco = ""
        self.cadena = ""
        self.conj_estados_finales_aceptadores = []
        self.list_items = []
        sys.exit(app.exec_())

    #----------------------------------------------------#

    def __reinit__(self, conj_estados, alfabeto_entrada, estado_inicial,
                   char_blanco, conj_estados_finales_aceptadores):
        self.mt = MaquinaTuring(conj_estados, alfabeto_entrada, estado_inicial,
                                char_blanco, conj_estados_finales_aceptadores)

    #----------------------------------------------------#

    def ejecutar(self):
        self.cadena = self.main_window.ui.CadenaText.toPlainText()
        if self.cadena != "":
            self.main_window.mostrar("")
            cad = "<span style=color:#736F6E;>" "<B>" + "... Iniciando la Maquina de Turing ..." + "</B>" "</span>"
            self.main_window.mostrar(cad)
            self.mt.reinit(str(self.cadena))
            self.mt.estado = self.mt.estado_inicial
            run = True
            j = 1
            while run:
                self.mt.cinta.mostrar_2(self.main_window, j)
                aux = self.mt.paso()
                j = j + 1
                if (aux == "Acepto"):
                    aux = "<span style=color:#736F6E;>" "<B>" + "... Acepto la cadena ..." + "</B>" "</span>"
                    run = False
                if (aux == "Error"):
                    aux = "<span style=color:red;>" "<B>" + "... Rechazo la cadena ..." + "</B>" "</span>"
                    run = False
            self.main_window.imprimir(aux)
        else:
            msj = "<span style=color:red;>" + "Error : Ingrese una cadena" + "</span>"
            self.main_window.mostrar(msj)

    #----------------------------------------------------#

    def pasoapaso(self):
        self.cadena = self.main_window.ui.CadenaText.toPlainText()
        if self.cadena != "":
            # Verifico si es el inicio de la Maquina Turing
            if Vars.paso == 1:
                self.main_window.mostrar("")
                cad = "<span style=color:#736F6E;>" "<B>" + "... Iniciando la Maquina de Turing ..." + "</B>" "</span>"
                self.main_window.mostrar(cad)
                self.mt.reinit(str(self.cadena))
                self.mt.estado = self.mt.estado_inicial
                Vars.run = True

            # Verifico sino termino la Maquina Turing
            if Vars.run == True:
                self.mt.cinta.mostrar_2(self.main_window, Vars.paso)
                aux = self.mt.paso()
                Vars.paso = Vars.paso + 1
                if (aux == "Acepto"):
                    aux = "<span style=color:#736F6E;>" "<B>" + "... Acepto la cadena ..." + "</B>" "</span>"
                    Vars.run = False
                elif (aux == "Error"):
                    aux = "<span style=color:red;>" "<B>" + "... Rechazo la cadena ..." + "</B>" "</span>"
                    Vars.run = False
                else:
                    pass
                    self.seleccionarTransicion(aux)

            if Vars.run == False:
                Vars.paso = 1
                self.main_window.imprimir(aux)
        else:
            msj = "<span style=color:red;>" + "Error : Ingrese una cadena" + "</span>"
            self.main_window.mostrar(msj)

    #----------------------------------------------------#

    def detener(self):
        Vars.paso = 1
        Vars.run = False
        self.main_window.ui.CintatextBrowser.clear()

    #----------------------------------------------------#

    def guardar(self):
        file_name = self.file_dialog.guardar()
        if file_name != "None":
            self.mt.guardar(self, file_name)
            self.main_window.setWindowTitle(
                QtGui.QApplication.translate(
                    "MainWindow", "SIMTUR - Simulador Maquina de Turing" +
                    " : " + "'" + self.nombreArchivo() + "'", None,
                    QtGui.QApplication.UnicodeUTF8))

    #----------------------------------------------------#

    def abrir(self):
        self.limpiar()
        file_name = self.file_dialog.abrir()
        if file_name != "None":
            self.mt = MaquinaTuring()
            self.mt = self.mt.cargar(file_name)

            self.conj_estados = self.mt.conj_estados
            self.alfabeto_entrada = self.mt.alfabeto_entrada
            self.conj_estados_finales_aceptadores = self.mt.conj_estados_finales_aceptadores
            self.char_blanco = self.mt.blanco
            self.estado_inicial = self.mt.estado_inicial
            i = 1
            aux = ""
            list_estados = []
            for i in self.conj_estados:
                if i != "[" and i != "]" and i != "," and i != "[" and i != "'" and i != " ":
                    aux = aux + i + " "
                    list_estados.append(i)
            self.conj_estados = aux
            i = 1
            aux = ""
            list_estados_acep = []
            for i in self.conj_estados_finales_aceptadores:
                if i != "[" and i != "]" and i != "," and i != "[" and i != "'" and i != " ":
                    aux = aux + i
                    list_estados_acep.append(i)
            self.conj_estados_finales_aceptadores = aux
            i = 1
            aux = ""
            list_alfabeto = []
            for i in self.alfabeto_entrada:
                if i != "[" and i != "]" and i != "," and i != "[" and i != "'" and i != " ":
                    aux = aux + i
                    list_alfabeto.append(i)
            self.alfabeto_entrada = aux

            self.main_window.ui.EstadoIniText.setText(self.estado_inicial)
            self.main_window.ui.AlfabetoText.setText(self.alfabeto_entrada)
            self.main_window.ui.EstadosAcepText.setText(
                self.conj_estados_finales_aceptadores)
            self.main_window.ui.EstadosText.setText(self.conj_estados)
            self.main_window.ui.SimbBlancoText.setText(self.char_blanco)

            list_items = self.mt.getItems()

            self.main_window.ui.transcisionesWidget.setColumnCount(5)
            self.main_window.ui.transcisionesWidget.setContentsMargins(
                1, 1, 1, 1)
            self.main_window.ui.transcisionesWidget.setAllColumnsShowFocus(
                True)
            self.main_window.ui.transcisionesWidget.setColumnWidth(0, 55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(1, 55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(2, 55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(3, 55)
            self.main_window.ui.transcisionesWidget.setColumnWidth(4, 55)

            i = 0
            self.list_items = []
            for i in list_items:
                self.list_items.append(i)
                item = QtGui.QTreeWidgetItem(i)
                self.main_window.ui.transcisionesWidget.addTopLevelItem(item)

            self.main_window.ui.actionNueva.setDisabled(False)
            self.main_window.ui.actionAbrir.setDisabled(False)
            self.main_window.ui.actionCerrar.setDisabled(False)
            self.main_window.ui.actionGuardar.setDisabled(False)
            self.main_window.ui.actionEjecutar.setDisabled(False)
            self.main_window.ui.actionPaso.setDisabled(False)
            self.main_window.ui.actionDetener.setDisabled(False)
            self.main_window.ui.actionCargar.setDisabled(False)

            self.main_window.ui.EstadosText.setEnabled(False)
            self.main_window.ui.AlfabetoText.setEnabled(False)
            self.main_window.ui.EstadosAcepText.setEnabled(False)
            self.main_window.ui.SimbBlancoText.setEnabled(False)
            self.main_window.ui.EstadoIniText.setEnabled(False)
            self.main_window.ui.aceptarTuringBoton.setEnabled(False)

            self.conj_estados = list_estados
            self.alfabeto_entrada = list_alfabeto
            self.conj_estados_finales_aceptadores = list_estados_acep

            self.main_window.activarTransicion(self)

            self.main_window.setWindowTitle(
                QtGui.QApplication.translate(
                    "MainWindow", "SIMTUR - Simulador Maquina de Turing" +
                    " : " + "'" + self.nombreArchivo() + "'", None,
                    QtGui.QApplication.UnicodeUTF8))
            self.main_window.ui.transcisionesWidget.setAlternatingRowColors(
                True)

    #----------------------------------------------------#

    def nombreArchivo(self):
        aux = ""

        name = self.file_dialog.nombreArchivo
        for i in name:
            if i != "/":
                aux = aux + i
            else:
                aux = ""
            if i == ".":
                return aux

    def limpiar(self):
        self.main_window.ui.EstadosText.setEnabled(True)
        self.main_window.ui.EstadosText.setText("")
        self.main_window.ui.AlfabetoText.setEnabled(True)
        self.main_window.ui.AlfabetoText.setText("")
        self.main_window.ui.EstadosAcepText.setEnabled(True)
        self.main_window.ui.EstadosAcepText.setText("")
        self.main_window.ui.SimbBlancoText.setEnabled(True)
        self.main_window.ui.SimbBlancoText.setText("")
        self.main_window.ui.EstadoIniText.setEnabled(True)
        self.main_window.ui.EstadoIniText.setText("")
        self.main_window.ui.comboBox.setEnabled(True)
        self.main_window.ui.comboBox_2.setEnabled(True)
        self.main_window.ui.comboBox_3.setEnabled(True)
        self.main_window.ui.comboBox_4.setEnabled(True)
        self.main_window.ui.comboBox_5.setEnabled(True)
        self.main_window.ui.comboBox.clear()
        self.main_window.ui.comboBox_2.clear()
        self.main_window.ui.comboBox_3.clear()
        self.main_window.ui.comboBox_4.clear()
        self.main_window.ui.comboBox_5.clear()
        self.main_window.ui.transcisionesWidget.setEnabled(True)
        self.main_window.ui.transcisionesWidget.clear()
        self.main_window.ui.CintatextBrowser.setEnabled(True)
        self.main_window.ui.CintatextBrowser.clear()
        self.main_window.ui.AgregarTransicionBoton.setEnabled(True)
        self.main_window.ui.BorrarTransicionBoton.setEnabled(True)

    #----------------------------------------------------#

    def setSignals(self):
        QtCore.QObject.connect(self.main_window.ui.actionAbrir,
                               QtCore.SIGNAL(("triggered()")), self.abrir)
        QtCore.QObject.connect(self.main_window.ui.actionGuardar,
                               QtCore.SIGNAL(("triggered()")), self.guardar)
        QtCore.QObject.connect(self.main_window.ui.actionNueva,
                               QtCore.SIGNAL(("triggered()")),
                               self.main_window.nueva)
        QtCore.QObject.connect(self.main_window.ui.actionCerrar,
                               QtCore.SIGNAL(("triggered()")),
                               self.main_window.nueva)
        QtCore.QObject.connect(self.main_window.ui.aceptarTuringBoton,
                               QtCore.SIGNAL(("clicked()")),
                               self.validarTuring)
        QtCore.QObject.connect(self.main_window.ui.AgregarTransicionBoton,
                               QtCore.SIGNAL(("clicked()")),
                               self.agregarTransicion)
        QtCore.QObject.connect(self.main_window.ui.actionEjecutar,
                               QtCore.SIGNAL(("triggered()")), self.ejecutar)
        QtCore.QObject.connect(self.main_window.ui.actionPaso,
                               QtCore.SIGNAL(("triggered()")), self.pasoapaso)
        QtCore.QObject.connect(self.main_window.ui.actionDetener,
                               QtCore.SIGNAL(("triggered()")), self.detener)
        QtCore.QObject.connect(self.main_window.ui.BorrarTransicionBoton,
                               QtCore.SIGNAL(("clicked()")),
                               self.borrarTransicion)

    #----------------------------------------------------#

    def validarTuring(self):
        carga_datos_flag = True
        self.main_window.mostrar("")

        # reset de variables
        self.conj_estados = []
        self.alfabeto_entrada = []
        self.char_blanco = ""
        self.conj_estados_finales_aceptadores = []
        self.estado_inicial = ""

        # verificacion del conjunto de estados
        conj_estados = self.main_window.ui.EstadosText.toPlainText()
        for i in conj_estados:
            i = str(i)
            if (i != ',') and (i != " ") and (i != "\t"):
                self.conj_estados.append(i)
                carga_datos_flag = carga_datos_flag and True

        # Verificacion del alfabeto de entrada
        alfabeto_entrada = self.main_window.ui.AlfabetoText.toPlainText()

        for i in alfabeto_entrada:
            i = str(i)
            """
            if i in self.conj_estados:
                self.main_window.mostrar("Error en la carga del Alfabeto")
                self.main_window.ui.AlfabetoText.selectAll()
                self.main_window.ui.AlfabetoText.setFocus()
                carga_datos_flag = carga_datos_flag and False
                break
            """
            if (i != ',') and (i != " ") and (i != "\t"):
                self.alfabeto_entrada.append(i)
                carga_datos_flag = carga_datos_flag and True

        # Verificacion de estados aceptadores
        conj_estados_finales_aceptadores_2 = []
        conj_estados_finales_aceptadores_1 = self.main_window.ui.EstadosAcepText.toPlainText(
        )

        for i in conj_estados_finales_aceptadores_1:
            i = str(i)
            if (i != ',') and (i != " ") and (i != "\t"):
                conj_estados_finales_aceptadores_2.append(i)
        for i in conj_estados_finales_aceptadores_2:
            if i in self.conj_estados:
                self.conj_estados_finales_aceptadores.append(i)
                carga_datos_flag = carga_datos_flag and True
            else:
                self.main_window.mostrar(
                    "Error en la carga de los Estados Aceptadores")
                self.main_window.ui.EstadosAcepText.selectAll()
                self.main_window.ui.EstadosAcepText.setFocus()
                carga_datos_flag = carga_datos_flag and False
                break

        char_blanco = self.main_window.ui.SimbBlancoText.toPlainText()

        if char_blanco in self.alfabeto_entrada:
            self.main_window.mostrar("Error en la carga del Simbolo Blanco")
            self.main_window.ui.SimbBlancoText.selectAll()
            self.main_window.ui.SimbBlancoText.setFocus()
            carga_datos_flag = carga_datos_flag and False
        else:
            self.char_blanco = char_blanco
            carga_datos_flag = carga_datos_flag and True

        estado_inicial = self.main_window.ui.EstadoIniText.toPlainText()
        if estado_inicial in self.conj_estados:
            self.estado_inicial = estado_inicial
            carga_datos_flag = carga_datos_flag and True
        else:
            self.main_window.mostrar("Error en la carga del Estado Inicial")
            self.main_window.ui.EstadoIniText.selectAll()
            self.main_window.ui.EstadoIniText.setFocus()
            carga_datos_flag = carga_datos_flag and False

        if carga_datos_flag == True:
            self.main_window.activarTransicion(self)
            self.main_window.desactivarCargaDatos()
            self.crearTuring()

            self.main_window.ui.actionNueva.setDisabled(False)
            self.main_window.ui.actionAbrir.setDisabled(False)
            self.main_window.ui.actionCerrar.setDisabled(False)
            self.main_window.ui.actionGuardar.setDisabled(False)
            self.main_window.ui.actionEjecutar.setDisabled(False)
            self.main_window.ui.actionPaso.setDisabled(False)
            self.main_window.ui.actionDetener.setDisabled(False)
            self.main_window.ui.actionCargar.setDisabled(False)
            self.main_window.ui.aceptarTuringBoton.setDisabled(True)

    #----------------------------------------------------#

    def crearTuring(self):
        self.__reinit__(str(self.conj_estados), str(self.alfabeto_entrada),
                        str(self.estado_inicial), str(self.char_blanco),
                        str(self.conj_estados_finales_aceptadores))

    #----------------------------------------------------#

    def agregarTransicion(self):

        transicion = [
            str(self.main_window.ui.comboBox.currentText()),
            str(self.main_window.ui.comboBox_2.currentText()),
            str(self.main_window.ui.comboBox_3.currentText()),
            str(self.main_window.ui.comboBox_4.currentText()),
            str(self.main_window.ui.comboBox_5.currentText())
        ]
        if (transicion != ['', '', '', '', '']) and (transicion
                                                     not in self.list_items):
            self.list_items.append(transicion)
            item = QtGui.QTreeWidgetItem(transicion)
            self.main_window.ui.transcisionesWidget.addTopLevelItem(item)
            self.mt.agregarTransicion(
                str(self.main_window.ui.comboBox.currentText()),
                str(self.main_window.ui.comboBox_2.currentText()),
                str(self.main_window.ui.comboBox_3.currentText()),
                str(self.main_window.ui.comboBox_4.currentText()),
                str(self.main_window.ui.comboBox_5.currentText()), transicion)
        else:
            self.main_window.mostrar(
                "<span style=color:red;>"
                "<B>" + "No se permite la carga de transiciones duplicadas" +
                "</B>"
                "</span>")

    #----------------------------------------------------#

    def borrarTransicion(self):
        item = self.main_window.ui.transcisionesWidget.currentItem()
        if item != None:
            transicion = [
                str(item.text(0)),
                str(item.text(1)),
                str(item.text(2)),
                str(item.text(3)),
                str(item.text(4))
            ]
            self.mt.borrarTransicion(str(item.text(0)), str(item.text(1)),
                                     str(item.text(2)), str(item.text(3)),
                                     str(item.text(4)), transicion)
            self.main_window.ui.transcisionesWidget.removeItemWidget(item, 0)
            self.main_window.ui.transcisionesWidget.removeItemWidget(item, 1)
            self.main_window.ui.transcisionesWidget.removeItemWidget(item, 2)
            self.main_window.ui.transcisionesWidget.removeItemWidget(item, 3)
            self.main_window.ui.transcisionesWidget.removeItemWidget(item, 4)
        else:
            self.main_window.mostrar(
                "<span style=color:red;>"
                "<B>" + "Debe seleccionar una transicion a borrar" + "</B>"
                "</span>")

    def seleccionarTransicion(self, aux):
        a, b, c, d, e = aux
        transicion = [str(a), str(b), str(c), str(d), str(e)]
        i = 0
        while i < self.main_window.ui.transcisionesWidget.topLevelItemCount():
            item = self.main_window.ui.transcisionesWidget.topLevelItem(i)
            item_transicion = [
                str(item.text(0)),
                str(item.text(1)),
                str(item.text(2)),
                str(item.text(3)),
                str(item.text(4))
            ]
            if transicion == item_transicion:
                self.main_window.ui.transcisionesWidget.setCurrentItem(item)
                break
            i = i + 1