我们证明，写得好的金融合同的基本法律结构遵循状态转换逻辑，该逻辑可以在数学上形式化为有限状态机（特别是确定性有限自动机或DFA）。 自动机定义财务关系可以处于的状态，例如“默认”，“拖延”，“执行”等，并且定义可以触发状态转换的事件的“字母”，例如“付款到达” ，“到期日”等。合同的核心描述了规则，通过这些规则，不同的事件序列会触发交易对手之间关系中的特定状态转换序列。 通过以这种方式概念化和表示合同的法律结构，我们将其暴露于一系列强大的工具和计算理论的结果。 例如，这些允许自动推理来确定合同在内部是否连贯，以及相对于特定事件字母而言是否完整。 我们通过将简单的贷款协议表示为自动机来说明该过程。
