Automata, power series, and coinduction: Taking input derivatives seriously (extended abstract)

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

Volumn 1644 LNCS, Issue , 1999, Pages 645-654

  Rutten, J J M M ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84887419074     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48523-6_61     Document Type: Conference Paper

References (7)

1. [BR88] J. Berstel and C. Reutenauer. Rational series and their languages, volume 12 of EATCS Monographs on Theoretical Computer Science. Springer, 1988.
2. [Brz64] J.A. Brzozowski. Derivatives of regular expressions. Journal of the ACM, 11(4):481{494, 1964.
3. [Con71] J.H. Conway. Regular algebra and finite machines. Chapman and Hall, 1971.
4. [Gun98] J. Gunawardena. Idempotency. Pub. of the Newton Institute. CUP, 1998.
5. [PE98] D. Pavloviffc and M. Escarffo. Calculus in coinductive form. In LICS'98.
6. [Rut96] J.J.M.M. Rutten. Universal coalgebra: A theory of systems. Report CS- R9652, CWI, 1996. To appear in Theoretical Computer Science.
7. [Rut98] J.J.M.M. Rutten. Automata and coinduction (an exercise in coalgebra). Report SEN-R9803, CWI, 1998. Also in the proceedings of CONCUR '98, LNCS 1466, 1998, pp. 194-218.