Em 1994 Antimirov and Mosses publicaram um sistema de re-escrita
para comparar as linguagens aceites por duas expressões regulares
(extendidas). Vamos propôr uma versão funcional desse
método, provar a correcção e apresentar alguns resultados experimentais.
Extendemos também o método à noção de "derivada parcial". Os
resultados preliminares indicam que este método é praticável e, de uma
forma geral, mais rápido que a abordagem clássica. |