Linearity of Sequential Machines

Sik-Sang Yau, K. C. Wang, K. C. Wang

Research output: Contribution to journalArticle

6 Citations (Scopus)

Abstract

A sequential machine is defined to be linear if its next-state function and output function are linear transformations from their domains (vector spaces) to their ranges (also vector spaces). It is shown that this definition is equivalent to those given by other authors. Based on this definition, a set of necessary and sufficient conditions for the flow table of a sequential machine to be linear is obtained. Many properties of the flow table of a linear sequential machine are found, and in many cases they form very simple tests for the linearity of a flow table. A general procedure for testing the linearity of a flow table is established. This procedure, including the coding of the states, inputs, and outputs, either ends with a linear realization of the flow table with the minimum possible numbers of state variables, input variables, and output variables, or detects that such a linear realization for the flow table is impossible. The type of sequential machine considered in this paper is deterministic and synchronous, and both Moore model and Mealy model are studied in detail. The linearity of incompletely specified sequential machines is also discussed. COPYRIGHT

Original languageEnglish (US)
Pages (from-to)337-354
Number of pages18
JournalIEEE Transactions on Electronic Computers
VolumeEC-15
Issue number3
DOIs
StatePublished - 1966
Externally publishedYes

Fingerprint

Sequential machines
Linearity
Table
Vector spaces
Vector space
Output
Linear transformations
Linear transformation
Coding
Testing
Necessary Conditions
Sufficient Conditions
Model
Range of data

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Hardware and Architecture
  • Software
  • Theoretical Computer Science

Cite this

Linearity of Sequential Machines. / Yau, Sik-Sang; Wang, K. C.; Wang, K. C.

In: IEEE Transactions on Electronic Computers, Vol. EC-15, No. 3, 1966, p. 337-354.

Research output: Contribution to journalArticle

Yau, Sik-Sang ; Wang, K. C. ; Wang, K. C. / Linearity of Sequential Machines. In: IEEE Transactions on Electronic Computers. 1966 ; Vol. EC-15, No. 3. pp. 337-354.
@article{eb1efc8d9b164b51bdcb0c79a035e6c5,
title = "Linearity of Sequential Machines",
abstract = "A sequential machine is defined to be linear if its next-state function and output function are linear transformations from their domains (vector spaces) to their ranges (also vector spaces). It is shown that this definition is equivalent to those given by other authors. Based on this definition, a set of necessary and sufficient conditions for the flow table of a sequential machine to be linear is obtained. Many properties of the flow table of a linear sequential machine are found, and in many cases they form very simple tests for the linearity of a flow table. A general procedure for testing the linearity of a flow table is established. This procedure, including the coding of the states, inputs, and outputs, either ends with a linear realization of the flow table with the minimum possible numbers of state variables, input variables, and output variables, or detects that such a linear realization for the flow table is impossible. The type of sequential machine considered in this paper is deterministic and synchronous, and both Moore model and Mealy model are studied in detail. The linearity of incompletely specified sequential machines is also discussed. COPYRIGHT",
author = "Sik-Sang Yau and Wang, {K. C.} and Wang, {K. C.}",
year = "1966",
doi = "10.1109/PGEC.1966.264492",
language = "English (US)",
volume = "EC-15",
pages = "337--354",
journal = "IEEE Transactions on Computers",
issn = "0018-9340",
publisher = "IEEE Computer Society",
number = "3",

}

TY - JOUR

T1 - Linearity of Sequential Machines

AU - Yau, Sik-Sang

AU - Wang, K. C.

AU - Wang, K. C.

PY - 1966

Y1 - 1966

N2 - A sequential machine is defined to be linear if its next-state function and output function are linear transformations from their domains (vector spaces) to their ranges (also vector spaces). It is shown that this definition is equivalent to those given by other authors. Based on this definition, a set of necessary and sufficient conditions for the flow table of a sequential machine to be linear is obtained. Many properties of the flow table of a linear sequential machine are found, and in many cases they form very simple tests for the linearity of a flow table. A general procedure for testing the linearity of a flow table is established. This procedure, including the coding of the states, inputs, and outputs, either ends with a linear realization of the flow table with the minimum possible numbers of state variables, input variables, and output variables, or detects that such a linear realization for the flow table is impossible. The type of sequential machine considered in this paper is deterministic and synchronous, and both Moore model and Mealy model are studied in detail. The linearity of incompletely specified sequential machines is also discussed. COPYRIGHT

AB - A sequential machine is defined to be linear if its next-state function and output function are linear transformations from their domains (vector spaces) to their ranges (also vector spaces). It is shown that this definition is equivalent to those given by other authors. Based on this definition, a set of necessary and sufficient conditions for the flow table of a sequential machine to be linear is obtained. Many properties of the flow table of a linear sequential machine are found, and in many cases they form very simple tests for the linearity of a flow table. A general procedure for testing the linearity of a flow table is established. This procedure, including the coding of the states, inputs, and outputs, either ends with a linear realization of the flow table with the minimum possible numbers of state variables, input variables, and output variables, or detects that such a linear realization for the flow table is impossible. The type of sequential machine considered in this paper is deterministic and synchronous, and both Moore model and Mealy model are studied in detail. The linearity of incompletely specified sequential machines is also discussed. COPYRIGHT

UR - http://www.scopus.com/inward/record.url?scp=84912244158&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84912244158&partnerID=8YFLogxK

U2 - 10.1109/PGEC.1966.264492

DO - 10.1109/PGEC.1966.264492

M3 - Article

AN - SCOPUS:84912244158

VL - EC-15

SP - 337

EP - 354

JO - IEEE Transactions on Computers

JF - IEEE Transactions on Computers

SN - 0018-9340

IS - 3

ER -