广义瓮模型与有限自动机之间的逻辑等价性
量子物理
2007-05-23 v2
摘要
对每个广义瓮模型，都存在一个具有相同的命题演算的有限(Mealy)自动机。其逆命题同样成立。
引用
@article{arxiv.quant-ph/0209136,
title = {Logical equivalence between generalized urn models and finite automata},
author = {Karl Svozil},
journal= {arXiv preprint arXiv:quant-ph/0209136},
year = {2007}
}
备注
9 pages, minor changes