Empirical logic of finite automata: microstatements versus macrostatements
Svozil, K, Zapatrin, R R · CERN Document Server (European Organization for Nuclear Research) · 1995
We compare the two approaches to the empirical logic of automata. The first, called partition logic (logic of microstatements), refers to experiments on individual automata. The second one, the logic of simulation (logic of macrostatements), deals with ensembles of automata.