Typst-finite 0.5.0版本发布：自动化布局与样式系统重大升级

Typst-finite 0.5.0版本发布：自动化布局与样式系统重大升级

Typst-finite是一个基于Typst排版系统的有限状态机绘制工具库，它允许用户通过简洁的代码描述和生成各种有限状态机图表。该工具特别适合学术论文、技术文档中需要展示自动机理论的场景。

核心变更解析

革命性的布局系统重构

0.5.0版本对布局系统进行了彻底重构，移除了原有的CeTZ组依赖，使布局系统更加轻量化和专注。新的布局系统现在仅作为#automaton函数的参数存在，这一改变带来了几个显著优势：

1. 简化架构：剥离了与CeTZ的耦合，使核心功能更加聚焦
2. 性能优化：减少了不必要的层级嵌套，提升了渲染效率
3. 使用直观：布局参数集中管理，降低了学习曲线

样式系统的重大改进

本次更新对样式系统进行了多项重要调整，使其更加一致和易用：

标签颜色属性变更

• 旧属性：color
• 新属性：fill 这一变更使属性命名与Typst生态系统保持一致，减少了用户的认知负担。

默认值优化

• 状态标签(state.label.fill)和转移标签(transition.label.fill)的默认值现在设为none
• 当值为none时，标签颜色自动继承stroke.paint的值 这种设计实现了样式的级联效果，既保持了灵活性又提供了合理的默认行为。

曲线参数标准化 转移曲线的默认值从原来的含义不明确调整为直观的1.0，使得：

• 大于1.0的值产生更明显的弯曲
• 小于1.0的值产生更平缓的曲线
• 1.0表示中等弯曲程度 这种线性比例关系大大提升了参数的可预测性。

FLACI集成模块

新引入的flaci模块实现了与FLACI有限状态机工具的互操作性：

核心功能

• flaci.load：将FLACI导出文件转换为Typst-finite兼容的规范格式
• flaci.automaton：直接渲染FLACI文件中的状态机

这一特性打通了从可视化设计工具到专业文档的工作流程，用户可以在FLACI中设计状态机，然后无缝集成到Typst文档中。

升级建议

对于现有用户，升级到0.5.0版本需要注意：

1. 布局代码迁移：检查所有使用旧版布局系统的代码，调整为新的参数形式
2. 样式属性更新：将标签的color属性统一替换为fill
3. 默认值验证：评估依赖默认样式行为的图表是否需要显式设置

新用户可以充分利用简化的API和更合理的默认值，快速创建专业的状态机图表。特别是从FLACI迁移的用户，现在有了更加顺畅的集成路径。

Typst-finite 0.5.0的这些改进标志着该项目向着更加成熟、稳定的方向迈进，为技术文档中的自动机理论可视化提供了更加强大和易用的工具。