No mention of lambda calculus? Lisp is to Lambda Calculus as Pascal is to Turing Machines. More or less.
Oh, beaten to the punch in the article's comments. Carry on.
Oh, beaten to the punch in the article's comments. Carry on.
Yep, I'm aware of the Church-Turing thesis and the relationship between TM and the Lambda Calculus. I originally had a mention of it, but I removed it because I was really more focused on the RegEx -> CFG -> ? chain and I couldn't find anything that made that connection with the Lambda Calculus. Any sources that make that connection would be appreciated!