免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
› 论坛 › 程序设计 › C/C++ › 记得有个版友说过“计算机本质就是个有限状态机”之类的 ...
123
最近访问板块 发新帖
楼主: fender0107401
打印 上一主题 下一主题

[其他] 记得有个版友说过“计算机本质就是个有限状态机”之类的，这个有相关的理论研究吗？ [复制链接]

folklore

论坛徽章:
59
2015年亚洲杯之约旦 日期:2015-01-27 21:27:392015年亚洲杯之日本 日期:2015-02-06 22:09:41拜羊年徽章 日期:2015-03-03 16:15:432015年辞旧岁徽章 日期:2015-03-03 16:54:152015年迎新春徽章 日期:2015-03-04 09:50:282015元宵节徽章 日期:2015-03-06 15:50:392015年亚洲杯之阿联酋 日期:2015-03-19 17:39:302015年亚洲杯之中国 日期:2015-03-23 18:52:23巳蛇 日期:2014-12-14 22:44:03双子座 日期:2014-12-10 21:39:16处女座 日期:2014-12-02 08:03:17天蝎座 日期:2014-07-21 19:08:47
21楼 [报告]
发表于 2014-08-14 12:56 |只看该作者
回复 20# fender0107401


    要尽量准确， 一句准确的话要比100句模糊的话有用。
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
fender0107401

论坛徽章:
89
水瓶座 日期:2014-04-01 08:53:31天蝎座 日期:2014-04-01 08:53:53天秤座 日期:2014-04-01 08:54:02射手座 日期:2014-04-01 08:54:15子鼠 日期:2014-04-01 08:55:35辰龙 日期:2014-04-01 08:56:36未羊 日期:2014-04-01 08:56:27戌狗 日期:2014-04-01 08:56:13亥猪 日期:2014-04-01 08:56:02亥猪 日期:2014-04-08 08:38:58程序设计版块每日发帖之星 日期:2016-01-05 06:20:00程序设计版块每日发帖之星 日期:2016-01-07 06:20:00
22楼 [报告]
发表于 2014-08-14 13:17 |只看该作者
回复 21# folklore

好吧。

我感觉用图表示还是用矩阵表示都不是问题。

我比较关系的是有没有类似的，比较正式的、规范的、成理论的证明。

证明所有的计算机的行为都可以抽象成有限状态机。
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
Herowinter

论坛徽章:
771
金牛座 日期:2014-02-26 17:49:58水瓶座 日期:2014-02-26 18:10:15白羊座 日期:2014-04-15 19:29:52寅虎 日期:2014-04-17 19:43:21酉鸡 日期:2014-04-19 21:24:10子鼠 日期:2014-04-22 13:55:24卯兔 日期:2014-04-22 14:20:58亥猪 日期:2014-04-22 16:13:09狮子座 日期:2014-05-05 22:31:17摩羯座 日期:2014-05-06 10:32:53处女座 日期:2014-05-12 09:23:11子鼠 日期:2014-05-21 18:21:27
23楼 [报告]
发表于 2014-08-14 13:23 |只看该作者
回复 22# fender0107401

邱奇-图灵论题：一切直觉上能计算的函数都可用图灵机计算，反之亦然.

http://zh.wikipedia.org/wiki/%E5%9B%BE%E7%81%B5%E6%9C%BA
   
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
cjaizss

论坛徽章:
3
2015年迎新春徽章 日期:2015-03-04 09:56:11数据库技术版块每日发帖之星 日期:2016-08-03 06:20:00数据库技术版块每日发帖之星 日期:2016-08-04 06:20:00
24楼 [报告]
发表于 2014-08-14 13:40 |只看该作者
Herowinter 发表于 2014-08-14 13:23
回复 22# fender0107401

邱奇-图灵论题：一切直觉上能计算的函数都可用图灵机计算，反之亦然.

.......这个太不数学了
图灵机可算<=>递归算子可表达
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
123
返回列表 发新帖
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

  

北京盛拓优讯信息技术有限公司. 版权所有 京ICP备16024965号-6 北京市公安局海淀分局网监中心备案编号：11010802020122 niuxiaotong@pcpop.com 17352615567
未成年举报专区
中国互联网协会会员  联系我们：huangweiwei@itpub.net
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP