论文标题
关于广义半毒剂的分解
On the decomposition of generalized semiautomata
论文作者
论文摘要
半自动疗法是电子设备的抽象，它们是具有输入但没有输出的确定性有限状态机器。广义半毒症是通过丢弃概率施加的限制来从随机半毒剂中获得的。众所周知，每个随机半毒剂可以分解为依赖源的顺序产物和确定性的半毒剂，部分地使用了伯克霍夫 - 冯·诺伊曼（Birkhoff-Von Neumann）的著名定理。可以证明，每个广义半毒剂可以分为广义依赖源和确定性半毒剂的顺序产物。
Semi-automata are abstractions of electronic devices that are deterministic finite-state machines having inputs but no outputs. Generalized semiautomata are obtained from stochastic semiautomata by dropping the restrictions imposed by probability. It is well-known that each stochastic semiautomaton can be decomposed into a sequential product of a dependent source and a deterministic semiautomaton making partly use of the celebrated theorem of Birkhoff-von Neumann. It will be shown that each generalized semiautomaton can be partitioned into a sequential product of a generalized dependent source and a deterministic semiautomaton.
