软件名称：[B]MONA 1.4-13[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：904 KB
官方主页：Home Page
更新时间：2013-02-25 18:16:00
软件简介:

一种工具，转换公式，有限状态自动机

MONA是为了给您提供一个快速的方法有限状态自动机的转换公式转换中创建一个简单的工具。的公式可以表达的搜索模式，反应系统的时域特性，语法分析树的限制，等等。MONA分析自动产生的神器出山:www.shenqi73.com编译，并打印出“有效”或一个反例。

在此新发布：

·修正了在基本的自动X = Y +1 BR />

[url=http://www.sot9.com/soft/64638.html][B]MONA 1.4-13[/B][/url]

点这里下载->MONA 1.4-13 [ 下载地址 ]