State-Logic Relations for Autonomous Sequential Networks

A new theoretical approach to the description of state-logic relations is presented, which applies to linear as well as nonlinear autonomous networks. A formal link, based on a matrix algorithm, is found between the internal logic of the network and its terminal behavior. The application of matrix algebra is the most attractive and encouraging aspect of this theory, in view of possible systematic minimization procedures.