Empirical logic of finite automata: microstatements versus macrostatements

K. Svozil, R. R. Zapatrin

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 se…