Title :
Next-State Equations of Asynchronous Sequential Machines
Author :
Saucier, GabriÉle
Author_Institution :
Laboratory of Applied Mathematics, University of Grenoble, Grenoble, France.
fDate :
4/1/1972 12:00:00 AM
Abstract :
A theorem and two applications are given here to solve the problem of selecting state assignments of asynchronous machines. The assignment has to produce a set of simple next-state equations. The proofs use the algebraic structures defined by Hartmanis. A first illustration is given by Liu´s encoding; likewise, Tracey´s selection theorems are easily found again and placed in a more general context.
Keywords :
Equations; Mathematics; Partitioning algorithms; Pattern recognition; Signal detection; Speech; Vectors; Assignment; asynchronous machine; selection; systematic-form equations;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1972.5008984
