EMT是一个绘制和测试图灵机的应用程序,旨在帮助形式语言和自动机的学生了解图灵机的工作原理并测试他们自己的图灵机。
用户评论
推荐下载
-
DataBib 开源
《DataBib:开源数据库驱动的书目管理神器》DataBib,一款基于开源精神构建的书目管理工具,其核心特色在于充分利用底层SQL数据库的强大功能,对书目记录进行高效、精确的管理和编目。该软件允许用
0 2024-08-31 -
DUPS 开源
DUPS,全称为“Diff Utility for Photo Sets”,是一款开源的图像比较工具,专门设计用于展示和比较一系列按照时间顺序排列的图像。它通过生成一组HTML页面,提供了一个便捷的、
0 2024-08-31 -
DSRC 开源
基于Web的应用程序,有助于监控和简化监管研究过程。
0 2024-08-31 -
CurlyML 开源
CurlyML是XML、属性文件和BBCode的超轻量级替代品。它是一种用于表示分层数据的简洁数据格式,并且非常易于人类阅读。Project提供了使用这种格式的解析器、API和其他工具。
0 2024-08-31 -
SDLRoads开源
SDLRoads是Bluemoon经典Skyroads的跨平台翻版。
0 2021-05-03 -
Messlvin开源
Messlvin是一款快节奏的街机风格游戏,灵感来自Blue Moon Interactive的Skyroads。
3 2021-05-03 -
DTInspector 开源
“DTInspector-开源”是一款专为数据库模式分析设计的小型工具,特别适用于处理包含大量表格,如23,000个表的数据库。该工具帮助数据库管理员和开发人员更有效地理解和管理复杂的数据结构。DTI
0 2024-08-30 -
Optex开源
Python 2.4的optex模块可帮助用户脚本解析sys.argv中的命令行参数。 选项与Unix getopt()和Python getopt模块的解析方式不同。
8 2021-04-27 -
Nicalc开源
带有简单微控制器(AVR MEGA32)的大整数计算器。 现在有100位数字,但是很快它将走得更远!
1 2021-04-27 -
EasyChem开源
EasyChem旨在以直观的方式绘制高质量的化学分子(专为书籍出版而设计)。 导出完成为各种格式(PostScript,Fig,LaTeX等),以帮助您将图形集成到所使用的任何软件中。
3 2021-04-27
暂无评论