## Automata and coinduction (an exercise in coalgebra (1998)

by
J. J. M. M. Rutten

Venue: | LNCS |

Citations: | 62 - 16 self |

### BibTeX

@ARTICLE{Rutten98automataand,

author = {J. J. M. M. Rutten},

title = {Automata and coinduction (an exercise in coalgebra},

journal = {LNCS},

year = {1998},

pages = {194--218}

}

### Years of Citing Articles

### OpenURL

### Abstract

The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of (universal) coalgebra. This leads to a transparent and uniform presentation of automata theory and yields some new insights, amongst which coinduction proof methods for language equality and language inclusion. At the same time, the present treatment of automata theory may serve as an introduction to coalgebra.