"tapeless" bounded action machines
Eric G. Wagner
SWAT 1968
A modular computer may be informally defined to be a device consisting of a large (or infinite) number of identical circuit modules connected together in some uniform manner. This paper is concerned with making the concept of “connected together in a uniform manner” mathematically precise. Uniformity of connection in a modular device is first defined in terms of the linear graph whose vertices correspond to the modules and whose edges correspond to the cables connecting them. It is shown that the class of graphs satisfying the definition is precisely the class of group-graphs; that is, the vertices correspond to the elements of a group G, and there is a finite subset G0 of G' (1 (1 ∈ G0) such that {g, g'} is an edge of the graph if, and only if, there exists g0 in G0 such that g'. =gg0. It is then shown that restricting the group G to be Abelian restricts the patterns of simultaneous activity which may occur within the computer. © 1966 IEEE. All rights reserved.
Eric G. Wagner
SWAT 1968
Eric G. Wagner
Journal of Computer and System Sciences
James W. Thatcher, Eric G. Wagner, et al.
Theoretical Computer Science
Stephen L. Bloom, James W. Thatcher, et al.
Journal of Computer and System Sciences