著者らは,(Bitcoin)ブロックチェーン上の計算および記録保存構造に組み込まれた非決定論的有限オートマトン(NFA)として,異なるパーティおよびその他の節および条項の実現に基づく(金融)契約の確立および(離散化)自動実行のための新しい技術を提示した。特に,プロセスはBitcoinスクリプトにおける非決定論的有限状態オートマトンを構築するための方法を提供する。「最良」法は,オートマトンの定義と状態表の間の1対1の関係を生成する。Copyright Springer Nature Singapore Pte Ltd. 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】