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.