华人姓王的确实有一个自动机理论大牛 - Military版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

Military版 - 华人姓王的确实有一个自动机理论大牛

相关主题
● CS根本不应该成为一个独立专业	● 建议删了一切关于这个姓王的小留的帖子
● 5个core没有姓王、李、张、刘、陈、杨、黄、赵、吴、周	● 尼玛，发现姓王的一入肠胃，就得祸国
● 姓王的和姓黄的真无聊啊 (转载)	● Z 中国步枪的发展历程
● 王副市长那个蒙古族是母亲是蒙古族吧，老爹还是姓王的吧？	● 【军事科普】27。土共第三代高炮（一）
● 今天碰到了一个姓王的黑人· (转载)	● 【军事科普】29。土共三位一体自行高炮（一） (转载)
● 我知道ZL是被谁下毒了，凶手姓王	● 这日本人的故事就是我在国内时的翻版。冷漠，不耐，敷衍的国人 (转载)
● 被挖眼男孩妈妈姓王舅舅姓庞?	● 温州动车事故启示：重启动（初始化）程序难搞啊！ (转载)
● 名字带宝的都没好下场，尤其姓王的。	● 今天发现自动售货机的可乐涨到$1.5了

相关话题的讨论汇总
话题: 图灵机话题: 自动机话题: 形式系统

进入Military版参与讨论

1

(共1页)

m***a
发帖数: 2262

1

不是王垠。王浩，金岳霖的学生，哥德尔晚年的知己。提出的Wang Tiles，和图灵机等
价的形式系统。其实和图灵机等价的自动机或形式系统很多，关键是其直接物理映射或
较为直接的物理映射的可应用程度。图灵机不光早，在这方面也有优势。

1

(共1页)

进入Military版参与讨论

相关主题
● 今天发现自动售货机的可乐涨到$1.5了	● 今天碰到了一个姓王的黑人· (转载)
● 哪些学科用到18世纪以后的数学？	● 我知道ZL是被谁下毒了，凶手姓王
● 大家说说计算机专业的骨干课程是什么？	● 被挖眼男孩妈妈姓王舅舅姓庞?
● 标准答案--手枪平着拿还是立着拿	● 名字带宝的都没好下场，尤其姓王的。
● CS根本不应该成为一个独立专业	● 建议删了一切关于这个姓王的小留的帖子
● 5个core没有姓王、李、张、刘、陈、杨、黄、赵、吴、周	● 尼玛，发现姓王的一入肠胃，就得祸国
● 姓王的和姓黄的真无聊啊 (转载)	● Z 中国步枪的发展历程
● 王副市长那个蒙古族是母亲是蒙古族吧，老爹还是姓王的吧？	● 【军事科普】27。土共第三代高炮（一）

相关话题的讨论汇总
话题: 图灵机话题: 自动机话题: 形式系统

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)