【Applied Algebra】有限状态机和模型检测初探 有限状态机 有限状态机（Finite State Machine，简称FSM）是一种计算模型，可以被用于处理许多具有固定状态和转换规则的场景。FSM在以下场景中很常见： 语法分析器和编译器：解析和处理程序代码，根据预定的语法规则识别语言结构。硬件电子系统：电子产品中的低层控制系统往往依赖有限状态机。游戏开发& 继续阅读

就像你在高中时最喜欢的图形计算器一样，KAlgebra 是科学计算器的同时还有 2D 绘图仪等功能。 如果你在高中时期一直盯着 TI-80 系列计算器，但后来就在也没动过它，那么你有时可能会渴望重温那些激动人心的代数和微积分岁月。Linux KDE 项目中的某个人一定也有这种感觉，因为有个 KDE 框架库 Analitza 提供了相关的语法和小部件，使你能够使用 K 系列应用(如图形计算器 KAlgebra)执行高级数学函数。 在 Linux 上安装 继续阅读