Antimirov and Mosses proposed a rewrite system for deciding the equivalence of two (extended) regular expressions. In this paper we present a functional approach to that method, prove its correctness, and give some experimental comparative results. Besides an improved version of Antimirov and Mosses's algorithm, we present a version using partial derivatives. Our preliminary results lead to the conclusion that, indeed, these methods are feasible and, generally, faster than the classical methods. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Almeida, M., Moreira, N., & Reis, R. (2008). Antimirov and Mosses’s rewrite system revisited. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5148 LNCS, pp. 46–56). https://doi.org/10.1007/978-3-540-70844-5_6
Mendeley helps you to discover research relevant for your work.