Not all contracts are good, but all good contracts can be expressed as a finite-state transition system ("State-Transition Contracts"). Contracts that can be represented as State-Transition Contracts discretize fat-tailed risk to foreseeable, managed risk, define the boundary of relevant events governed by the relationship, and eliminate the potential of inconsistent contractual provisions. Additionally, State-Transition Contracts reap the substantial benefit of being able to be analyzed under the rules governing the science of the theory of computation. Simple State-Transition Contracts can be represented as discrete finite automata; more complicated State-Transition Contracts, such as those that have downstream effects on other agreements or complicated pathways of performance, benefit from representation as weighted finite-state transducers, with weights assigned as costs, penalties, or probabilities of transitions. This research paper (the "Research" or "Paper") presents a complex legal transaction represented as weighted finite-state transducers. Furthermore, we show that the mathematics/algorithms permitted by the algebraic structure of weighted finite-state transducers provides actionable, legal insight into the transaction.

翻译：并非所有合约都是良好的，但所有良好的合约都可以表示为有限状态转移系统（“状态转移合约”）。能够表示为状态转移合约的合约将厚尾风险离散化为可预见、可管理的风险，界定了由该关系所管辖的相关事件的边界，并消除了合约条款不一致的可能性。此外，状态转移合约能带来的一大实质性好处是，它们可以依据计算理论科学中的规则进行分析。简单的状态转移合约可以表示为离散有限自动机；而更复杂的状态转移合约（例如那些对其他协议具有下游影响或具有复杂履约路径的合约），则受益于用加权有限状态转录机来表示，其中权重被分配为转移的成本、惩罚或概率。本研究论文（“研究”或“论文”）展示了一个用加权有限状态转录机表示的复杂法律交易。此外，我们证明了加权有限状态转录机的代数结构所允许的数学/算法，能够为交易提供可操作的、法律层面的洞见。