论广义半自动机的分解
形式语言与自动机理论
2020-04-21 v1 离散数学
摘要
半自动机是电子设备的抽象，即具有输入但无输出的确定性有限状态机。广义半自动机是通过放弃概率所施加的限制而从随机半自动机获得的。众所周知，每个随机半自动机都可以分解为一个依赖源和一个确定性半自动机的顺序乘积，这部分利用了著名的 Birkhoff-von Neumann 定理。本文将证明，每个广义半自动机都可以划分为一个广义依赖源和一个确定性半自动机的顺序乘积。
引用
@article{arxiv.2004.08805,
title = {On the decomposition of generalized semiautomata},
author = {Merve Nur Cakir and Karl-Heinz Zimmermann},
journal= {arXiv preprint arXiv:2004.08805},
year = {2020}
}
备注
10 pages, 1 figure