26 Aug
2025
26 Aug
'25
5:41 p.m.
On Tue, Aug 26, 2025 at 12:11:31AM -0700, Brian E. Lavender wrote:
Oof, lisp flashbacks.
-bill!
Perhaps you
can track down Tony Hoare?
https://en.wikipedia.org/wiki/Tony_Hoare
This for some reason made me think of the pumping lemma proof for
regular languages. I remember sweating over the details of this proof
while taking computing theory.
https://www2.lawrence.edu/fast/GREGGJ/CMSC515/chapt01/Pumping.html