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.')
