反応合成

反応合成（または時間合成）とは、高レベルの仕様（例えば、線形時相論理の式）から状態機械（例えば、ムーア型機械）を自動生成するコンピュータ科学の分野である。「反応性」とは、合成された機械がユーザーと対話し、入力を読み取って出力を生成する一方で、決して動作を停止しないという事実を強調するものである。