五千年(敝帚自珍)

主题:【原创】语言编译器等请教 -- 中国农民

共:💬62 🌺30
全看分页树展 · 主题 跟帖
家园 lambda演算也是上下文无关的文法

已经包含在我说的100种里。我说的那一种正是可计算函数,和可判定性问题加起来就是现在计算机理论的基础。你说和图灵机等价,一点也不错。说起来当初学lisp的时候就觉得这种编程太有意思了,就是括号嵌套看着头晕,随便写个小程序就是一堆的括号。据说做人工智能就得用它。

我觉得,作为兴趣爱好就去搞个啥语言的,不太现实。只要不够严密和完整,就没有可用性,您说是吧?

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河