本文介绍了由 Evan Wallace 开发的基于 HTML5 和 JavaScript 的有限状态机设计器,该设计器支持用户通过简单的操作(如双击、拖动、删除等)创建和编辑状态机,并可以将设计导出为 PNG、SVG 和 LaTeX 格式。