def ER_para_automato(self): text = str(self.line_edit_ER_para_automato.text().toAscii()) if text == '': self.msg('Expressao vazia!') return ER = Expressao_Regular() a = ER.thompson_modificado(text) self.automato_para_tabela(a)
def comparar_ERs(self): er1 = str(self.line_edit_ER1.text().toAscii()) er2 = str(self.line_edit_ER2.text().toAscii()) ER = Expressao_Regular() a1 = ER.thompson_modificado(er1) a2 = ER.thompson_modificado(er2) t = Transformacoes() resposta = t.automatos_equivalentes(a1, a2, Automato()) if resposta: self.msg('Expressoes equivalentes.') else: self.msg('Expressoes nao equivalentes.')