免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
› 论坛 › 程序设计 › Shell › sed 图灵完备的证明
最近访问板块 发新帖
查看: 3034 | 回复: 4
打印 上一主题 下一主题

[学习共享] sed 图灵完备的证明 [复制链接]

MMMIX

论坛徽章:
95
程序设计版块每日发帖之星 日期:2015-09-05 06:20:00程序设计版块每日发帖之星 日期:2015-09-17 06:20:00程序设计版块每日发帖之星 日期:2015-09-18 06:20:002015亚冠之阿尔艾因 日期:2015-09-18 10:35:08月度论坛发贴之星 日期:2015-09-30 22:25:002015亚冠之阿尔沙巴布 日期:2015-10-03 08:57:39程序设计版块每日发帖之星 日期:2015-10-05 06:20:00每日论坛发贴之星 日期:2015-10-05 06:20:002015年亚冠纪念徽章 日期:2015-10-06 10:06:482015亚冠之塔什干棉农 日期:2015-10-19 19:43:35程序设计版块每日发帖之星 日期:2015-10-21 06:20:00每日论坛发贴之星 日期:2015-09-14 06:20:00
跳转到指定楼层
1楼 [收藏(0)] [报告]
发表于 2015-09-02 16:15 |只看该作者 |倒序浏览
sed 是图灵完备的:
https://en.wikipedia.org/wiki/Sed#Mode_of_operation
http://www.tuicool.com/articles/iEjmMv

一种证明方法是用 sed 实现个图灵机:
http://sed.sourceforge.net/grabbag/scripts/turing.txt
http://sed.sourceforge.net/grabbag/scripts/turing.sed
Herowinter

论坛徽章:
769
金牛座 日期: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
2楼 [报告]
发表于 2015-09-02 16:42 |只看该作者
这主题真高大上
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
sunzhiguolu

论坛徽章:
307
程序设计版块每周发帖之星 日期:2016-04-08 00:41:33操作系统版块每日发帖之星 日期:2015-09-02 06:20:00每日论坛发贴之星 日期:2015-09-02 06:20:00程序设计版块每日发帖之星 日期:2015-09-04 06:20:00每日论坛发贴之星 日期:2015-09-04 06:20:00每周论坛发贴之星 日期:2015-09-06 22:22:00程序设计版块每日发帖之星 日期:2015-09-09 06:20:00程序设计版块每日发帖之星 日期:2015-09-19 06:20:00程序设计版块每日发帖之星 日期:2015-09-20 06:20:00每日论坛发贴之星 日期:2015-09-20 06:20:00程序设计版块每日发帖之星 日期:2015-09-22 06:20:00程序设计版块每日发帖之星 日期:2015-09-24 06:20:00
3楼 [报告]
发表于 2015-09-02 16:48 |只看该作者
不知大神发帖,小弟膜拜....
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
聆雨淋夜

论坛徽章:
22
处女座 日期:2014-10-11 13:33:292015亚冠之塔什干火车头 日期:2015-07-20 19:59:042015亚冠之塔什干火车头 日期:2015-07-26 10:59:31程序设计版块每日发帖之星 日期:2015-08-05 06:20:00每日论坛发贴之星 日期:2015-08-05 06:20:00程序设计版块每日发帖之星 日期:2015-08-07 06:20:00每日论坛发贴之星 日期:2015-08-07 06:20:002015亚冠之阿尔纳斯尔 日期:2015-10-01 15:23:28白银圣斗士 日期:2015-12-07 17:17:06操作系统版块每日发帖之星 日期:2015-12-27 06:20:002015亚冠之广州富力 日期:2015-07-08 15:48:31程序设计版块每日发帖之星 日期:2015-06-11 22:20:00
4楼 [报告]
发表于 2015-09-04 22:27 |只看该作者
LZ你看的懂不
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
MMMIX

论坛徽章:
95
程序设计版块每日发帖之星 日期:2015-09-05 06:20:00程序设计版块每日发帖之星 日期:2015-09-17 06:20:00程序设计版块每日发帖之星 日期:2015-09-18 06:20:002015亚冠之阿尔艾因 日期:2015-09-18 10:35:08月度论坛发贴之星 日期:2015-09-30 22:25:002015亚冠之阿尔沙巴布 日期:2015-10-03 08:57:39程序设计版块每日发帖之星 日期:2015-10-05 06:20:00每日论坛发贴之星 日期:2015-10-05 06:20:002015年亚冠纪念徽章 日期:2015-10-06 10:06:482015亚冠之塔什干棉农 日期:2015-10-19 19:43:35程序设计版块每日发帖之星 日期:2015-10-21 06:20:00每日论坛发贴之星 日期:2015-09-14 06:20:00
5楼 [报告]
发表于 2015-09-05 13:16 |只看该作者
回复 4# 聆雨淋夜


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

本版积分规则 发表回复

  

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

清除 Cookies - ChinaUnix - Archiver - WAP - TOP