リアクティブ合成（またはテンポラル合成）は、高水準仕様（例えば線形時相論理の式）から状態機械（例えばムーアマシン）を自動生成することを研究するコンピュータサイエンスの分野です。「リアクティブ」とは、合成された機械がユーザーと対話し、入力を読み取って出力を生成し、動作を止めないという事実を強調するものです。
合成問題は1962年にアロンゾ・チャーチによって導入され[1] 、仕様はモナド二次論理とデジタル回路の形をした状態マシンの式であった。
参照
参考文献
リアクティブ合成（またはテンポラル合成）は、高水準仕様（例えば線形時相論理の式）から状態機械（例えばムーアマシン）を自動生成することを研究するコンピュータサイエンスの分野です。「リアクティブ」とは、合成された機械がユーザーと対話し、入力を読み取って出力を生成し、動作を止めないという事実を強調するものです。
合成問題は1962年にアロンゾ・チャーチによって導入され[1] 、仕様はモナド二次論理とデジタル回路の形をした状態マシンの式であった。