只为小站
首页
域名查询
文件下载
登录
首页
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以及标准图灵机。
文件下载
立即下载
评论信息
其他资源
jre-1_5_0_07-windows-i586-p.exe
PC-DMIS 修改测量值.exe
CentOS-7-x86_64-Minimal-2009.iso
c++实现的双向通信的socket小程序
stm32f4+w5500+tcpclient/server源码
希塞2019年系统架构设计师培训讲义.pdf
直流升降压斩波电路-simulink仿真.rar
中国九段线,shapefile文件
数据结构动画演示
QT实现头像图片剪切框
魏祖宽第二版数据库系统及应用
Java3y.zip
QQLogin.ui
最新美团全国商圈
微信小程序中,持续获取当前位置
lps22hb_STdC.zip
区块链技术前沿报告(2020年).pdf
教你如何在亚马逊Amazon他人的刊登(listing)建立自己的变体
hibernate+servlet+jsp实现超市账单管理
图书馆选座系统
Android游戏源码经典贪吃蛇项目全套资料
用vba编的时钟,带有闹钟功能
使用quartz实现不重启服务器修改自定义配置的示例
Visual PrologV7.1初学指南+参考手册+源代码
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
凯斯西储大学(CWRU)轴承数据集(含数据包+整理Python程序+使用说明)
基于hadoop商品推荐系统课程设计
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
王万良-人工智能导论(第五版)课件
得到品控手册7.0.pdf
基于Matlab的PI/4 DQPSK的调制解调源代吗
Plex v7.12电视端app
华为OD机试真题.pdf
(推荐)小爱触屏音箱LX04_2.34.5-官改-(开发版)SP5
Vivado永久激活license(亲测可用)包(搜集的全部可用LICENSE)
粒子群多无人机协同多任务分配.zip
BP_PID控制仿真.rar
Spring相关的外文文献和翻译(毕设论文必备)
IBM.ILOG.CPLEX.Enterprise.Server.v12.10.0.Win64.rar CPLEX下载
基于蒙特卡洛生成电动汽车充电负荷曲线程序
最新下载
Evtsys_4.5.1_64-Bit.zip
jqsj-code.rar
mnist数据集
Python 语言程序设计
中国省份城市数据库表.docx
Orange's:一个操作系统的实现【文字版pdf+随书源代码】
ArgisCGCS2000(地理+投影坐标系)
Halcon拼接
Cooperative Control and Optimization
dicom3.0标准中文版