无穷字上的概率自动机：表达能力、效率和可决定性
摘要：概率Ω-自动机是无穷字的非确定性自动机的变体，其中所有选择都由概率分布解决。接受无穷输入字的方式可以有多种定义：通过要求（i）接受运行的概率是正的（概率语义），或者（ii）几乎所有的运行都是接受的（几乎确定语义），或者（iii）接受运行（概率度量）的概率大于某个阈值（阈值语义）。接受运行的基本概念可以通过Buechi条件或其他接受条件（例如Rabin或Streett条件）来定义，就像标准Ω-自动机一样。在本文中，我们主要关注概率语义，并提供了关于概率Ω-自动机的基本属性在表达能力、效率和决策问题方面的摘要。
作者：Christel Baier (Technische Universit"at Dresden), Nathalie Bertrand (INRIA Rennes) and Marcus Gr"o{ss}er (Technische Universit"at Dresden)
论文ID：0907.4760
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2009-07-29