Brzozowski’s derivatives extended to multiplicities

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2494, Issue , 2002, Pages 52-64

  Champarnaud, Jean Marc ^a   Duchamp, Gérard ^a  

^a UNIVERSITÉ DE ROUEN   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

RATIONAL EXPRESSIONS; RATIONAL SERIES;

AUTOMATA THEORY;

EID: 84892702162     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36390-4_5     Document Type: Conference Paper

References (27)

1. V. Antimirov, Partial derivatives of regular expressions and finite automaton constructions, Theoretical Computer Science, 155, 291-319 (1996).
2. J. Berstel and D. Perrin Theory of codes, Academic Press (1985).
3. J. Berstel and C. Reutenauer, Rational Series and Their Languages (EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin, 1988).
4. J.A. Brzozowski. Derivatives of regular expressions. J. Assoc. Comput. Mach., 11(4): 481-494, 1964.
5. J.H. Conway, Regular Algebras and Finite Machines, Chapman and Hall, London 1974.
6. K. Culik II and J. Kari, Finite state transformations of images, Proceedings of ICALP 95, Lecture Notes in Comput. Sci. 944 (1995) 51-62.
7. J.-M. Champarnaud and D. Ziadi, New Finite Automaton Constructions Based on Canonical Derivatives, in CIAA'2000, Lecture Notes in Computer Science, S. Yu ed., Springer-Verlag, to appear.
8. J.-M. Champarnaud and D. Ziadi, From Mirkin's Prebases to Antimirov's Word Partial Derivatives, Fundamenta Informaticae, 45(3), 195-205, 2001
9. J.-M. Champarnaud and D. Ziadi, Canonical Derivatives, Partial Derivatives, and Finite Automaton Constructions, Theoret. Comp. Sc., to appear.
10. M. Droste, P. Gastin, On Aperiodic and Star-free Formal Power Series in partially Commuting variables, Proceedings of FPSAC'00, D. Krob, A.A. Mikhalev and A.V. Mikhalev. (Springer, june 2000).
11. G. Duchamp, D. Krob, Combinatorics on traces, Ch II of the "Book of traces" EATCS monography. (1995) (Ed. G. Rozenberg, V. Dieckert) World Scientific.
12. G. Duchamp and C. Reutenauer, Un critère de rationalité provenant de la géométrie non-commutative, Invent. Math. 128 (1997) 613-622.
13. G. Duchamp, M. Flouret, É. Laugerotte, J.-G. Luque, Direct and dual laws for automata with multiplicities, Theoret. Comp. Sc., 269/1-2, to appear.
14. S. Eilenberg, Automata, languages and machines, Vol. A (Acad. Press, New-York, 1974)
15. G. Jacob, Représentations et substitutions matricielles dans la théorie algébrique des transductions. Thèse d'état. Université Paris VII (1975).
16. S. C. Kleene, Representation of events in nerve nets and finite automata, Automata Studies, Princeton Univ. Press (1956) 3-42.
17. D. Krob, Models of a K-rational identity system, Journal of Computer and System Sciences, 45, (3), 396-434, 1992.
18. D. Krob, Differentiation of K-rational expressions identity system, International Journal of Algebra and Computation, 3 (1), 15-41, 1993.
19. M. Lothaire, Combinatorics on words (Addison-Wesley, 1983).
20. S. Mac Lane Categories for the Working Mathematician, Springer (4th ed. 1988).
21. B. G. Mirkin. An algorithm for constructing a base in a language of regular expressions. Engineering Cybernetics, 5: 110-116, 1966.
22. M. Mohri, F. Pereira and M. Riley, A Rational Design for a Weighted Finite-State Transducer Library. Lecture Notes in Computer Science, 1436: 43-53, 1998.
23. C. Reutenauer, A survey on noncommutative rational series, FPSAC'94 proceedings.
24. A. Salomaa and M. Soittola, Automata-theoretic aspects of formal power series. (Springer-Verlag, 1978).
25. M.P. Schützenberger, On the definition of a family of automata, Information and Control 4 (1961) 245-270.
26. R.P. Stanley, Enumerative combinatorics, Vol 2, Cambridge (1999).
27. S. Yu. Regular languages. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume I, Words, Languages, Grammars, pages 41-110. Springer-Verlag, Berlin, 1997.