4 ms·
OP here... here's my reply from the comments: Yep, I'm aware of the Church-Turing thesis and the relationship between TM and the Lambda Calculus. I originally
by Adrock 13y ago
OP here... here's my reply from the comments:
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!
- roywiggins 13y agoYou might like Thue; it operates solely on replacement rules and is trivially an unrestricted grammar: http://esolangs.org/wiki/Thue http://esolangs.org/wiki/Thue
- UNIXgod 13y agoI enjoyed the article. Your connection your looking for is with Stephen Cole Kleene who also a student of Church just like Turing.