Khang Lee

Taxon：用于数字制造机器形式化推理的语言

O'Leary 等人提出 Taxon 语言，用于形式化描述数字制造机器的特征、组成和动作，帮助创客开发经验法则进行机器筛选与动作可行性验证。