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