Coalgebras and Automata

2 points by janus

cyberia

Interesting! Is this related to functorial semantics?