I was without access to the internet for most of the past few days, so I wrote a blog post about lambda calculus and regular languages.

https://www.countingishard.org/blog/a-lesser-known-characterisation-of-the-regular-languages

#computability #logic #lambdacalculus

A lesser known characterisation of the Regular Languages — Counting is Hard