DocumentCode
1191553
Title
An Algebraic Method for Minimizing the Number of States in an Incomplete Sequential Machine
Author
Bouchet, A.
Issue
8
fYear
1968
Firstpage
795
Lastpage
798
Abstract
Abstract—A structure of distributive lattice is defined on the set of partial coverings of a finite nonempty set. From this structure is derived an algorithm for calculating a minimal closed covering of the states in an incomplete sequential machine.
Keywords
Index Terms—Minimization of the number of states.; Automata; Circuit faults; Circuit synthesis; Decision support systems; Electrical fault detection; Lattices; Sequential circuits; Index Terms—Minimization of the number of states.;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/TC.1968.229126
Filename
1687455
Link To Document