2017年11月9日
状态机：如何构建稳定的婚姻
摘要： 相关： 第一数学归纳法 vs 第二数学归纳法 vs 良序定理 第二数学归纳法：硬币问题和堆垛游戏 第一数学归纳法：施塔特中心的地板砖 良序原理：算术基本定理的证明 在这篇博文中我会依次复习一下状态机的定义、不变性原理、部分正确性和可终结性这四个和状态机相关的知识，并举出一些有意思的例子辅以说明，最后 阅读全文
posted @ 2017-11-09 17:20 QiuhaoLi 阅读(1709) 评论(0) 推荐(1) 编辑