当前标签：SE-DBSD
搜索
积分与排名
- 积分 - 200326
- 排名 - 6145
随笔档案 (206)
- 2025年3月(1)
- 2025年2月(14)
- 2025年1月(2)
- 2024年12月(11)
- 2024年11月(1)
- 2024年10月(1)
- 2024年9月(2)
- 2024年8月(4)
- 2024年7月(3)
- 2024年6月(3)
- 2024年5月(5)
- 2024年4月(2)
- 2024年3月(5)
- 2024年2月(3)
- 2024年1月(3)
- 2023年10月(5)
- 2023年9月(3)
- 2023年8月(2)
- 2020年12月(4)
- 2020年11月(3)
- 2020年10月(4)
- 2020年8月(2)
- 2020年7月(4)
- 2020年4月(2)
- 2020年3月(2)
- 2020年2月(2)
- 2020年1月(5)
- 2019年12月(1)
- 2019年10月(1)
- 2019年7月(1)
- 2019年4月(1)
- 2019年3月(2)
- 2019年2月(1)
- 2019年1月(5)
- 2018年12月(3)
- 2018年11月(1)
- 2018年8月(1)
- 2018年7月(5)
- 2018年6月(2)
- 2018年5月(2)
- 2018年4月(3)
- 2018年3月(1)
- 2018年2月(2)
- 2017年9月(4)
- 2017年8月(1)
- 2017年7月(6)
- 2017年5月(6)
- 2017年4月(3)
- 2017年3月(5)
- 2017年2月(1)
- 2017年1月(4)
- 2016年12月(8)
- 2016年11月(5)
- 2016年10月(2)
- 2016年1月(2)
- 2015年12月(2)
- 2015年11月(2)
- 2015年10月(5)
- 2015年9月(4)
- 2015年6月(3)
- 2015年5月(2)
- 2015年4月(10)
- 2015年3月(1)
- 更多
阅读排行榜
- 1. 工具(2): 极简MarkDown排版介绍（How to）(49161)
- 2. 证明与计算(2): 离散对数问题(Discrete logarithm Problem, DLP)(14489)
- 3. 工具(3): 转换Excel表格到MarkDown：exceltk(9616)
- 4. 技术的极限(6): 密码朋克精神(Cypherpunk Spirit)(8686)
- 5. 心智与认知(1): 反馈循环(Feedback loop)(8312)
- 6. 炼金术(5): 区分前端开发/客户端开发/后端开发/核心开发(8046)
- 7. 现代编程语言：Rust (铁锈，一文掌握钢铁是怎样生锈的)(7595)
- 8. 证明与计算(3): 二分决策图(Binary Decision Diagram, BDD)(6537)
- 9. 现代编程语言：zig(5978)
- 10. 控制结构(2): 卫语句（guard clause）(4909)
- 11. 工具(5): 极简开发文档编写（How-to）(4703)
- 12. 工具(4): Git自助手册(4669)
- 13. 证明与计算(7): 有限状态机(Finite State Machine)(4322)
- 14. Block Chain, a protocol view(3918)
- 15. Install Visual Studio For Mac Preview(3683)
- 16. 工具(1): 极简Word排版示例（Example by Word2013）(2551)
- 17. Mac/Windows开发跨平台.NET Core 控制台程序(2549)
- 18. 编译原理笔记(2369)
- 19. 证明与计算(5): 从加密哈希函数到一致性哈希(2098)
- 20. 技术的极限(7): 处理复杂与分层(2070)
- 21. 控制结构(3): 状态机（state machine）(2020)
- 22. 幻灰龙的博客 | 目录(1951)
- 23. 项目实战(1): Alpha案例(1935)
- 24. 技术的极限(1): 从编程开始(1917)
- 25. 翻译(3): NULL-计算机科学上最糟糕的失误(1912)
最新评论
- 1. Re:证明与计算(3): 二分决策图(Binary Decision Diagram, BDD)
- @庆夜 @ffl 想问一下您是什么研究方向的，有点好奇 这篇文章的内容纯粹是当时感兴趣想搞明白这玩意儿是干嘛的就爬wiki链接搞明白后整理的。我日常不研究这个。...
- --ffl
- 2. Re:证明与计算(3): 二分决策图(Binary Decision Diagram, BDD)
- @ffl 想问一下您是什么研究方向的，有点好奇...
- --庆夜
- 3. Re:证明与计算(3): 二分决策图(Binary Decision Diagram, BDD)
- @庆夜 写的很好，对我帮助很大 这个很冷门了，居然还有人了解...
- --ffl
- 4. Re:证明与计算(3): 二分决策图(Binary Decision Diagram, BDD)
写的很好，对我帮助很大
- --庆夜
- 5. Re:工具(4): Git自助手册
- --ffl
- 6. Re:范飞龙的博客 | 目录
- --ffl
- 7. Re:证明与计算(7): 有限状态机(Finite State Machine)
数学之美里有提到概率有限状态机。
- --ffl
- 8. Re:证明与计算(7): 有限状态机(Finite State Machine)
谢谢。看别的资料理解了。
- --老豆浆
- 9. Re:证明与计算(7): 有限状态机(Finite State Machine)
- @老豆浆 DFA图1（[3]) 里 S1 是接受状态，S2是非接受状态。如果输入字符串最后跳转到了一个接受状态，说明这个输入字符串就被该状态机识别了，是合法到输入，否则就是匹配失败，非法，不是预期的状...
- --ffl
- 10. Re:证明与计算(7): 有限状态机(Finite State Machine)
一个圆圈表示非接受状态
两个圆圈表示接受状态这两个没看懂。请帮忙解释一下好么？
谢谢大佬啦- --老豆浆
- 11. Re:feilong's blog | 目录
- --ffl
- 12. Re:现代编程语言：Rust (铁锈，一文掌握钢铁是怎样生锈的)
- Windows Rust: The windows crate lets you call any Windows API past, present, and future using code g...
- --ffl
- 13. Re:feilong's blog | 目录
- "Theory is when you know something, but it doesn’t work. Practice is when something works, but you d...
- --ffl
- 14. Re:feilong's blog | 目录
- Martin Rue Making things. Writing code. Languages. MY ENGINEERING AXIOMS...
- --ffl
- 15. Re:feilong's blog | 目录
- --ffl
