A Completeness Criterion for Spectra
Teruo Hikita, Akihiro Nozaki · SIAM Journal on Computing · 1977
A spectrum is an algebraic representation of a set of “switching elements” each of which carries out an operation in a definite time lag. The notion of functional completeness ($\sim $-completeness) in the family of spectra was introduced by V. B. Kudryavcev and A. Nozaki. In this paper we investigate the maximal incomplete spectra and thus give a new effective criterion for a spectrum to be functionally complete.