有限自动机的经验逻辑：微观陈述与宏观陈述
Empirical logic of finite automata: microstatements versus macrostatements
摘要：
我们比较这两种方法的经验逻辑的自动机。第一种称为分区逻辑（微语句逻辑），指的是对单个自动机的实验。第二个，模拟逻辑（宏语句逻辑），涉及自动机的集合。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
