只为小站
首页
域名查询
文件下载
登录
首页
AutoSim:免费的自动机模拟器,可模拟DFA / NFA / DPDA / NPDA / STM-开源
AutoSim:免费的自动机模拟器,可模拟DFA / NFA / DPDA / NPDA / STM-开源
上传者:
42133329
|
上传时间: 2022-11-15 19:06:20
|
文件大小: 72KB
|
文件类型: JAR
开源软件
AutoSim是面向学生和教育工作者的免费自动机模拟器。 它是用Java编写的,它是一个基于命令行的实用程序,可以在支持Java的任何操作系统上运行。 使用AutoSim,您不仅可以确定最终状态或堆栈/磁带内容,还可以跟踪从初始状态到最终状态的执行状态。 AutoSim的最新版本是1.0,当前支持DFA,NFA,DPDA,NPDA以及标准图灵机。
文件下载
立即下载
评论信息
其他资源
8uftp【中文版】.zip
Android10.0SN号获取接口patch.zip
异常检测Mulcross数据集
2019年上半年信息系统监理师【上午&下午】真题&&参考答案&&详解.zip
实验室设备管理系统(完整版 包括论文和源程序)
西工大Latex论文模板(含使用说明)_自己用的
自定义标签中@Autowired的属性为null
数据库索引设计与优化
部编三上实用课件 3.不懂就要问.pptx
计算机操作系统思维导图第一章os引论2.0.pdf——西安电子科技大学第四版——免费下载
自适应各终端懒人网址导航源码v2.4.zip
python synonyms中所需的中文词向量文件
文件夹加密工具.zip
JSP+SERVLET+MYSQL+NO+养老院管理系统
c++ 课程设计_中国象棋
采集卡DC60-008 (G)驱动
flutter_deer::deer:Flutter练习项目(包括集成测试,可访问性测试)。内含完整的UI设计图,更贴近真实项目的练习。 包括完整的UI设计和更接近实际项目的练习-源码
查看字符串在不同编码.zip
简单的storm例子.rar
C# 通过COM端口读取数据
图像滤波算法之guide filter导向滤波
STM32核心板PCB
ecshop小京东微信支付,支付成功未跳转的BUG
软件测试 第二版 英文版 software_testing_2nd_edition
蠕变数值模拟
58同城网房源自动刷新(修改)软件C#
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
STM32F4时钟触发ADC双通道采样DMA传输进行FFT+测频率+采样频率可变+显示波形
RX560 bios合集(请务必注意显存品牌和大小以及是否需要6pin!)含刷新工具.zip
Python+OpenCV实现行人检测(含配置说明)
2020年数学建模B题(国二)论文.pdf
锁相环simulink建模仿真.rar
狂神说全部笔记内容.zip
雷达信号处理仿真程序(MTI,MTD等)
BP神经网络+PID控制simulink仿真
基于MQ2烟雾传感器的STM32F103程序
中小型企业网络建设.pkt
狂神说Java系列笔记.rar
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
2020年数学建模国赛C题论文
人体姿态检测
token登录器.rar
最新下载
黑金Sparten6开发板Verilog教程V1.6+Microblaze教程V1.1
黑金Sparten6开发板Verilog教程V1.6
奇妙三数字3代破解版
madExcept5_源码版.rar
McgsPro 3.5.1.6963 组态软件安装包
2.0—4.5版本的log4net.dll文件.rar
GaussDB-driver 高斯数据库驱动 包含jdbc odbc GDS
FreeRTOS在M0上的移植
足球联赛Excel计分表
Intel(R) Ethernet Connection X722 for 1GbE