机构名称：
¥ 1.0
摘要。如果长度m的分数m在某些固定的签名上，则称为浓密的语言l，如果m倾向于固定的签名。我们提出了一种算法，该算法在多项式时间内计算（f m）的（f m）的累积点数量，如果常规语言L由有限的确定性自动机给出，然后还可以效率地检查L是否密度。确定（f m）的最低认可点是否大于给定的有理数数字。如果常规语言由非确定性自动机给出，请检查L是否致密。我们将这些问题作为部分可观察到的马尔可夫链的收敛问题，并将其减少为结合有理数序列的问题。
有效计算普通语言的密度-LIX
主要关键词
相关文件推荐
