Empirical logic of finite automata: microstatements versus macrostatements
arXiv:quant-ph/9510015 · doi:10.1007/BF02084959
Abstract
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.
latex