Thorsten Altenkirch - Defining Regular Expressions

This is a bit cryptic. I think it may have been influenced by Roland Backhouse: see his (2001) tutorial Galois Connections and Fixed Point Calculus, in particular Section 6.3 Kleene Algebra on page 53.

Subscribe to Computerphile.

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023