两种模式匹配

2011-04-23 11:45:41
模式匹配在计算机语言中是重要得不能再重要的机制,人类对自然语言的理解和处理也是模式匹配的过程。

在合并句式的处理中发现,存在这样两种模式匹配:

第一种:变项直接匹配(就像Prolog默认的那样)
X1=(A,B)的匹配结果是,给X1,A,B都分配一个地址,三个都是变项。

第二种:变项当做常项匹配
X1=(A,B)的匹配结果是,如果X1形如(A,B)的形式,则可以匹配,否则,无法匹配

这里面隐藏着一些东西,关系到语言的层次,变项的层次。

另一个笔记:

prolog的匹配机制,如果表现为一种演算法,例如term rewriting这样的形式,即,匹配的过程,也能够体现为容易理解的代码,并能够在代码编辑器中显示出来。这显然比现有的调试方式要好得多。

这种演算机制还可以用于处理函数式语句,做到,直接在代码编辑器中进行展开,公式化简,最后求得结果。

这个处理风格,体现了一切都是语言的思想,也就是,这个新语言的所有内部实现,都体现为一种语言活动,而且,这个语言活动可以从外部观察到。

在未来的系统中,一切过程都会是这种可观察,可修改的语言活动,也就是,一切都是语言。

这也暗合了图灵在用图灵机模拟人类进行公式证明时的想法。
::...
免责声明:
当前网页内容, 由 大妈 ZoomQuiet 使用工具: ScrapBook :: Firefox Extension 人工从互联网中收集并分享;
内容版权归原作者所有;
本人对内容的有效性/合法性不承担任何强制性责任.
若有不妥, 欢迎评注提醒:

或是邮件反馈可也:
askdama[AT]googlegroups.com


点击注册~> 获得 100$ 体验券: DigitalOcean Referral Badge

订阅 substack 体验古早写作:


关注公众号, 持续获得相关各种嗯哼:
zoomquiet


自怼圈/年度番新

DU22.4
关于 ~ DebugUself with DAMA ;-)
粤ICP备18025058号-1
公安备案号: 44049002000656 ...::