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