Regular algebra and finite machines
by John Horton Conway · first published 1971
3mentions
2recommended by
2HN commenters
2016–2024first – last mentioned
100% recommend
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
Yes! Graphs have many interesting algebraic properties. I'm not aware of articles treating graphs as Kleene algebras (I haven't looked for them though). Conway's "Regular Algebra and Finite Machines" [1] and Kozen's "A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events" [2] are interesting texts to read on Kleene algebra. [1] https://www.amazon.com/Regular-Algebra-Finite-Machines-Mathe...…
on “An Algebra of Graphs” ↗For a book length (1960's course length) take on this idea, see Conway, Regular Algebra and Finite Machines
on “Is it possible to write games like Pac-Man in a functional language?” ↗> wait for state1a, state1b state1c in any order Conway worked out some results for non-serialised (commutative) events in Regular Algebra and Finite Machines about half a century ago.
on “Maybe Everything Is a Coroutine” ↗