時序機器是否線性之測試

Abstract

A new method for testing whether a given sequential machine is linear is presented. This test algorithm is different from any existing identification method in that it is applied before the characterizing matrices having been found, hence a tedious calculation can be avoided.