有限自动机的经验逻辑：微观陈述与宏观陈述
量子物理
2009-10-28 v1
摘要
我们比较了自动机经验逻辑的两种进路。第一种称为划分逻辑（微观陈述逻辑），涉及对单个自动机的实验。第二种即模拟逻辑（宏观陈述逻辑），处理自动机系综。
引用
@article{arxiv.quant-ph/9510015,
title = {Empirical logic of finite automata: microstatements versus macrostatements},
author = {K. Svozil and R. R. Zapatrin},
journal= {arXiv preprint arXiv:quant-ph/9510015},
year = {2009}
}
备注
latex