運用轉移矩陣法解決同步順序機之測量與控制問題

Abstract

若一同步順序機之時態未知，則不能預測其未來行為；反之，若其時態已知，則可完 全預測其行為。 從前用來找出一同步順序機時態的方法都是採取response tree 的方式，以某些條件 來終結尋找答案之程序。 本論文中運用轉移矩陣來解同一問題。本方法具有明確，系統化之優點，易於在計算 機上實現程式。 作者並根據本法之特性，提出三個Heuristics，以利於解決較繁雜之問題，這些方法 可節省許多計算機之計算時間及儲存空間，實際程式並列於附錄中。 另外文中提出廣義轉移表「transition talile」 的方法，具有轉移矩陣法的優點， 並另具長處，使得計算機記憶空間、運算時間，大量節省。