文件名称：devs:离散事件模拟规范
文件大小：6KB
文件格式：ZIP
更新时间：2024-05-29 00:58:06
Clojure
DEVS-离散事件系统规范 该库提供状态机作为数据。 有一个通用的“进化”功能，它接受状态机和输入，并产生一个新的状态机。 正式地，将状态机指定为以下元组： S-状态字母 s-当前状态 A_i-输入字母 A_o-输出字母 F-从（s，A_i）-> n的转换函数，其中n是下一个状态 O-（C_n + 1，A_o）-> o的输出函数，其中o是A_o的符号 想到这一点的一种简单方法是，状态机接受输入中的任何符号，并根据当前状态和该输入符号“转换”到新状态。 当它“过渡”时，它从输出字母产生输出。 用实现术语来说，状态机在任何时候都是不可变的。 演化状态机意味着返回一个从旧实例派生的新实例。 这意味着当状态机移至新状态时，您实际上可以更改转换功能。 您也可以更改输入或输出字母。 描述状态机 这是来自“回声”服务器的示例： (defn echo-server-state-machine
【文件预览】：
devs-master
----.gitignore(143B)
----src()
--------devs()
----README.md(4KB)
----test()
--------devs()
----project.clj(456B)