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 __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)
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
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 __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)
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
