{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T16:11:24Z","timestamp":1674231084859},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2014,3,20]],"date-time":"2014-03-20T00:00:00Z","timestamp":1395273600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1007\/s00153-014-0378-7","type":"journal-article","created":{"date-parts":[[2014,3,19]],"date-time":"2014-03-19T09:05:02Z","timestamp":1395219902000},"page":"525-538","source":"Crossref","is-referenced-by-count":1,"title":["Strict process machine complexity"],"prefix":"10.1007","volume":"53","author":[{"given":"Ferit","family":"Toska","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,20]]},"reference":[{"key":"378_CR1","first-page":"404","volume":"1914","author":"C. Carath\u00e9odory","year":"1914","unstructured":"Carath\u00e9odory C.: \u00dcber das lineare Mass von Punktmengen-eine Verallgemeinerung des L\u00e4ngenbegriffs. Nachrichten von der Gesellschaft der Wissenschaften zu G\u00f6ttingen, Mathematisch-Physikalische Klasse 1914, 404\u2013426 (1914)","journal-title":"Nachrichten von der Gesellschaft der Wissenschaften zu G\u00f6ttingen, Mathematisch-Physikalische Klasse"},{"key":"378_CR2","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1090\/S0002-9904-1940-07154-X","volume":"46","author":"A. Church","year":"1940","unstructured":"Church A.: On the concept of a random sequence. Bull. Am. Math. Soc. 46, 130\u2013135 (1940)","journal-title":"Bull. Am. Math. Soc."},{"key":"378_CR3","unstructured":"Day, A.R.: On process complexity. Chic. J. Theoret. Comput. Sci. 4, 13 (2010)"},{"key":"378_CR4","doi-asserted-by":"crossref","unstructured":"Downey, R.G., Hirschfeldt, D.R.: Theory and applications of computability. In: Algorithmic Randomness and Complexity. Springer, New York (2010)","DOI":"10.1007\/978-0-387-68441-3_2"},{"issue":"1\u20132","key":"378_CR5","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF01457179","volume":"79","author":"F. Hausdorff","year":"1918","unstructured":"Hausdorff F.: Dimension und \u00e4u\u00dferes Ma\u00df. Math. Ann. 79(1\u20132), 157\u2013179 (1918)","journal-title":"Math. Ann."},{"issue":"vyp. 1","key":"378_CR6","first-page":"3","volume":"1","author":"A.N. Kolmogorov","year":"1965","unstructured":"Kolmogorov A.N.: Three approaches to the definition of the concept \u201cquantity of information. Problemy Pereda\u010di Informacii 1(vyp. 1), 3\u201311 (1965)","journal-title":"Problemy Pereda\u010di Informacii"},{"key":"378_CR7","unstructured":"Lebesgue, H.L.: Le\u00e7ons sur l\u2019int\u00e9gration et la recherche des fonctions primitives profess\u00e9es au Coll\u00e8ge de France. Cambridge Library Collection. Cambridge: Cambridge University Press, 2009. Reprint of the 1904 original"},{"key":"378_CR8","first-page":"548","volume":"212","author":"L.A. Levin","year":"1973","unstructured":"Levin L.A.: The concept of a random sequence. Dokl. Akad. Nauk SSSR 212, 548\u2013550 (1973)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"378_CR9","doi-asserted-by":"crossref","unstructured":"Levin, L.A.: Some theorems on the algorithmic approach to probability theory and information theory: (1971 Dissertation directed by A.N. Kolmogorov). Ann. Pure Appl. Logic 162(3):224\u2013235 (2010)","DOI":"10.1016\/j.apal.2010.09.007"},{"key":"378_CR10","volume-title":"Th\u00e9orie de L\u2019addition des Variables Al\u00e9atoires","author":"P. L\u00e9vy","year":"1937","unstructured":"L\u00e9vy P.: Th\u00e9orie de L\u2019addition des Variables Al\u00e9atoires. Gauthier-Villars, Paris (1937)"},{"key":"378_CR11","doi-asserted-by":"crossref","unstructured":"Lutz, J.H.: Gales and the constructive dimension of individual sequences. In: Automata, languages and programming (Geneva, 2000). vol. 1853 of Lecture Notes in Computer Science, pp. 902\u2013913. Springer, Berlin (2000)","DOI":"10.1007\/3-540-45022-X_76"},{"key":"378_CR12","unstructured":"Lutz, J.H.: Dimension in complexity classes. SIAM J. Comput. 32(5), 1236\u20131259 (2003) (electronic)"},{"issue":"1","key":"378_CR13","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0890-5401(03)00187-1","volume":"187","author":"J.H. Lutz","year":"2003","unstructured":"Lutz J.H.: The dimensions of individual strings and sequences. Inf. Comput. 187(1), 49\u201379 (2003)","journal-title":"Inf. Comput."},{"key":"378_CR14","doi-asserted-by":"crossref","first-page":"602","DOI":"10.1016\/S0019-9958(66)80018-9","volume":"9","author":"P. Martin-L\u00f6f","year":"1966","unstructured":"Martin-L\u00f6f P.: The definition of random sequences. Inf. Control 9, 602\u2013619 (1966)","journal-title":"Inf. Control"},{"issue":"1","key":"378_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0020-0190(02)00343-5","volume":"84","author":"E. Mayordomo","year":"2002","unstructured":"Mayordomo E.: A Kolmogorov complexity characterization of constructive Hausdorff dimension. Inf. Process. Lett. 84(1), 1\u20133 (2002)","journal-title":"Inf. Process. Lett."},{"key":"378_CR16","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/BF01203155","volume":"5","author":"R.V. Mises","year":"1919","unstructured":"Mises R.V.: Grundlagen der Wahrscheinlichkeitsrechnung. Mathematische Zeitschrift 5, 52\u201399 (1919)","journal-title":"Mathematische Zeitschrift"},{"key":"378_CR17","doi-asserted-by":"crossref","unstructured":"Nies, A.: Computability and Randomness, Vol. 51 of Oxford Logic Guides. Oxford: Oxford University Press (2009)","DOI":"10.1093\/acprof:oso\/9780199230761.001.0001"},{"key":"378_CR18","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/BF01694181","volume":"5","author":"C.-P. Schnorr","year":"1971","unstructured":"Schnorr C.-P.: A unified approach to the definition of random sequences. Math. Syst. Theory 5, 246\u2013258 (1971)","journal-title":"Math. Syst. Theory"},{"key":"378_CR19","doi-asserted-by":"crossref","unstructured":"Schnorr, C.-P.: Process complexity and effective random tests. J. Comput. Syst. Sci. 7, 376\u2013388 (1973) Fourth Annual ACM Symposium on the Theory of Computing (Denver, Colo., 1972)","DOI":"10.1145\/800152.804910"},{"key":"378_CR20","doi-asserted-by":"crossref","unstructured":"Schnorr, C.-P.: Zuf\u00e4lligkeit und Wahrscheinlichkeit. Eine algorithmische Begr\u00fcndung der Wahrscheinlichkeitstheorie. Lecture Notes in Mathematics, vol. 218. Springer, Berlin (1971b)","DOI":"10.1007\/BFb0112460"},{"key":"378_CR21","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1016\/S0019-9958(64)90131-7","volume":"7","author":"R.J. Solomonoff","year":"1964","unstructured":"Solomonoff R.J.: A formal theory of inductive inference. II. Inf. Control 7, 224\u2013254 (1964)","journal-title":"Inf. Control"},{"issue":"1","key":"378_CR22","doi-asserted-by":"crossref","first-page":"219","DOI":"10.14492\/hokmj\/1350911778","volume":"31","author":"K. Tadaki","year":"2002","unstructured":"Tadaki K.: A generalization of Chaitin\u2019s Halting probability and Halting self-similar sets. Hokkaido Math. J. 31(1), 219\u2013253 (2002)","journal-title":"Hokkaido Math. J."},{"key":"378_CR23","unstructured":"Toska, F.: Effective symbolic dynamics and complexity. Ph.D. thesis, University of Florida (2013)"},{"key":"378_CR24","volume-title":"\u00c9tude Critique de la Notion de Collectif","author":"J. Ville","year":"1939","unstructured":"Ville J.: \u00c9tude Critique de la Notion de Collectif. Gauthier-Villars, Paris (1939)"},{"key":"378_CR25","doi-asserted-by":"crossref","unstructured":"Zvonkin, A.K., Levin, L.A.: The complexity of finite objects and the basing of the concepts of information and randomness on the theory of algorithms. Uspehi Mat. Nauk 25(6)(156), 85\u2013127 (1970)","DOI":"10.1070\/RM1970v025n06ABEH001269"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0378-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-014-0378-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0378-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T16:55:22Z","timestamp":1565283322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-014-0378-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,20]]},"references-count":25,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2014,8]]}},"alternative-id":["378"],"URL":"https:\/\/doi.org\/10.1007\/s00153-014-0378-7","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3,20]]}}}