Author :
Kauffman, Louis H.
Author_Institution :
Dept. of Math. Stat. & Comput. Sci., Illinois Univ., Chicago, IL, USA
Abstract :
This paper studies a mathematical model for automata as direct abstractions of digital circuitry. We give a rigorous model for distributed delays in terms of a precedence order of operations. The model is applied to automata that arise in the study of topological invariants of knots in three dimensional space and to digital design
Keywords :
automata theory; delays; digital circuitry; digital design; direct abstractions; distributed delays; knot automata; mathematical model; rigorous model; three dimensional space; topological invariants; Automata; Biology; Counting circuits; Delay; Digital circuits; Equations; Hardware; Integrated circuit interconnections; Mathematical model; Mathematics;
Conference_Titel :
Multiple-Valued Logic, 1994. Proceedings., Twenty-Fourth International Symposium on
Conference_Location :
Boston, MA
Print_ISBN :
0-8186-5650-6
DOI :
10.1109/ISMVL.1994.302182
