2つの独立した状態マシンを組み合わせて1つのモデルにする操作を何と呼ぶか。

並行して動作する複数のコンポーネントを一つの巨大な状態空間として扱うための数学的手法である。

関連記事

関連記事はありません。