yaal 0.2

许可: 免费 ‎文件大小: N/A
‎用户评分: 5.0/5 - ‎1 ‎评分

Yaal 是一种天秤座,它实现了有限状态自动机、有限状态传感器和下推自动机等自动机。这个自动机上最重要的操作,如交集,联合和补机是可用的。

版本历史记录

  • 版本 yaal-src-0.2 发布于 2008-02-18
    若干修复和更新
  • 版本 yaal-src-0.2 发布于 2008-02-18

软件信息