克里斯蒂安·卡卢德;Chiescu，离子;路德维希·斯泰格 P.Martin-Löf测试：代表性和嵌入性。 （英语） Zbl 0587.03032号 修订版Roum。数学。Pures应用程序。 30, 719-732 (1985). 本文使用前两位作者介绍的可表示P.Martin-Löf检验的概念，研究了Kolmogorov和P.Mar丁-Lóf字符串复杂性理论之间的一些联系[Kybernetika 19，42-47（1983；Zbl 0529.03020号)]. 例如，Martin-Löf的渐近公式可以用以下更精确的设置表示：对于每个p.r函数\（\psi\）：X*\（\times N\ to ^｛\circ｝X*\），以下断言是等价的：a）对于每个p.r函数\（\phi\），存在一个常数\（c=c（\psi，\phi）\），使得\（K_｛\psi｝（X|\ell（X））\leq K_｛\phi｝（X|\ell（X）)+c），对于所有（x\ in x*），b）对于每个Martin-Löf测试V，存在一个常数（q=q（V，psi），使得（m_V（x）\leq\ell（x）-K_{psi}（x|ell（x））+q），对于全部（x\ inX*））<\ell（x）-m\}是通用的，并且存在一个常数\)这样\（K{\psi}（x|\ell（x））\leq\ell[x）+d\）。这里，（K{psi}）是由（psi）诱导的Kolmogorov复杂性，（m_V）是由V诱导的临界水平。 引用于1审查引用于1文件 MSC公司： 03D45号 计算理论，有效呈现结构 关键词：字符串的复杂性;代表性P.Martin-Löf检验;科尔莫戈洛夫复杂性 引文：Zbl 0529.03020号 PDF格式BibTeX公司 XML格式引用 \textit{C.Calude}等人，Rev.Roum。数学。Pures应用程序。30719--732（1985；Zbl 0587.03032）