Mealy and Elgot machines: taking feedback seriously

Tarmo Uustalu

Institute of Cybernetics

Thursday, 2 April 2009, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101

Abstract: While you surely know Mealy machines, have you heard of Elgot machines? I'll explain this model of computation, showing that it is dual to the Mealy model. Roughly, Elgot machines relate to functional programs with iteration (tail-recursion) as Mealy machines relate to circuits with feedback. You were not wrong, the story will involve monads and comonads.

Tarmo Uustalu
Last update 13.4.2009