, Volume 3, Issue 3, pp 279-301

Quantaloids, enriched categories and automata theory

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract

This article is intended to be an survey article outlining how the theory of quantaloids and categories enriched in them provides an effective means of analyzing both automata and tree automata. The emphasis is on the unification of concepts and how categorical methods provide insight into various calculations and theorems, both illuminating the original presentation as well as yielding conceptually simpler proofs. Proofs will be omitted and the emphasis is on providing the reader (even a relatively inexperienced one) with an understanding of the basic constructions and results.