K. Svozil et Rr. Zapatrin, EMPIRICAL LOGIC OF FINITE AUTOMATA - MICROSTATEMENTS VERSUS MACROSTATEMENTS, International journal of theoretical physics, 35(7), 1996, pp. 1541-1548
We compare two approaches to the empirical logic of automata. The firs
t, called partition logic (logic of microstatements), refers to experi
ments on individual automata. The second, the logic of simulation (log
ic of macrostatements), deals with ensembles of automata.