用于计算单词的概率自动机

通常，概率自动机和概率语法以干净的符号作为输入， 可视为计算数值（computing with values）的形式模型。本文首先在概率框架下引入用于计算（某些特殊）单词的概率自动机和概率语法，其中单词被解释为对一组干净符号的概率分布或可能分布。通过概率条件化，我们随后建立了从计算单词到计算数值（用于处理干净输入）的撤回原则，以及从计算单词到计算所有单词（用于处理任意输入）的广义扩展原则。这些原则表明，计算数值和计算所有单词分别可通过计算某些特殊单词来实现。为了比较两个接近输入的转移概率，我们还检查了广义扩展的转移概率函数的一些分析性质。此外，撤回和广义扩展被证明是等价保持的。最后，我们阐明了撤回、广义扩展与 Qiu 和 Wang 最近研究的扩展之间的一些关系。