Derivatives of rational expressions with multiplicity

Theoretical Computer Science

Volumn 332, Issue 1-3, 2005, Pages 141-177

  Lombardy, Sylvain ^a   Sakarovitch, Jacques ^b  

^a UNIVERSITÉ PARIS DESCARTES   (France)

^b INSTITUT TELECOM   (France)

Author keywords

Automata; Automata with multiplicity; Rational expression; Regular expression

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; PATTERN MATCHING; SET THEORY; THEOREM PROVING;

AUTOMATA WITH MULTIPLICITY; POWER SERIES; RATIONAL EXPRESSION; REGULAR EXPRESSION;

FINITE AUTOMATA;

EID: 13644256249     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.10.016     Document Type: Article

References (20)

1. V. Antimirov Partial derivatives of regular expressions and finite automaton constructions Theoret. Comput. Sci. 155 1996 291 319
2. J. Berstel, Ch. Reutenauer, Les séries rationnelles et leurs langages, Masson, 1984; Translation: Rational Series and their Languages, Springer, Berlin, 1986.
3. J. Berstel, Ch. Reutenauer, Les séries rationnelles et leurs langages, Masson, 1984; Translation: Rational Series and their Languages, Springer, Berlin, 1986.
4. J.A. Brzozowski Derivatives of regular expressions J. Assoc. Comput. Mach. 11 1964 481 494
5. P. Caron, M. Flouret, Glushkov construction for multiplicities, Pre-Proceedings of CIAA '00, M. Daley, M. Eramian, S. Yu (Eds.), University of Western Ontario, 2000, pp. 52-61.
6. P. Caron, and M. Flouret Characterization of Glushkov automata Theoret. Comput. Sci. 233 2000 75 90
7. P. Caron, M. Flouret, From Glushkov WFA's to rational expressions, Proc. of DLT'03, Z. Ésik, Z. Fülöp (Eds.), Lecture Notes in Comput. Sci. 2710 (2003) 183-193.
8. J.-M. Champarnaud, G. Duchamp, Brzozowski's derivatives extended to multiplicities, Proc. of CIAA '01, Lecture Notes in Comput. Sci. 2494 (2001) 52-64.
9. J.-M. Champarnaud, D. Ziadi, New finite automaton constructions based on canonical derivatives, Pre-Proceedings of CIAA '00, M. Daley, M. Eramian, S. Yu (Eds.), University of Western Ontario, 2000, pp. 36-43.
10. J.-M. Champarnaud, and D. Ziadi Canonical derivatives partial derivatives and finite automaton constructions, Theoret. Comput. Sci. 289 2002 137 163
11. S. Eilenberg Automata Languages and Machines Vol. A 1974 Academic Press New York
12. V. Glushkov The abstract theory of automata Russian Math. Surveys 16 1961 1 53
13. W. Kuich, and A. Salomaa Semirings, Automata, Languages 1986 Springer Berlin
14. S. Lombardy, J. Sakarovitch, Derivatives of rational expressions with multiplicity, in: MFCS 02, Lecture Notes in Comput. Sci. 2420 (2002) 471-482.
15. S. Lombardy, J. Sakarovitch, How expressions can code for automata, in: Latin 04, Lecture Notes in Comput. Sci. 2976 (2004) 242-251 (Journal version to appear in Theoret. Informatic and Applications).
16. R. McNaughton, and H. Yamada Regular expressions and state graphs for automata IRE Trans. on Electronic Computers 9 1960 39 47
17. J.J.M.M. Rutten, Automata, power series, and coinduction: taking input derivatives seriously, in: ICALP 99, J. Wiedermann, P. van Emde Boas, M. Nielsen (Eds.), Lecture Notes in Comput. Sci. 1644 (1999) 645-654.
18. J.J.M.M. Rutten Behavioural differential equations a coinductive calculus of streams, automata, and power series Theoret. Comput. Sci. 308 2003 1 53
19. J. Sakarovitch, Eléments de théorie des automates, Vuibert, 2003; Translation: Elements of Automata Theory, Cambridge University Press, to appear.
20. J. Sakarovitch, Eléments de théorie des automates, Vuibert, 2003; Translation: Elements of Automata Theory, Cambridge University Press, to appear.