Structured Frequency Algorithms

作者: Kaspars Balodis , Jānis Iraids , Rūsiņš Freivalds

DOI: 10.1007/978-3-319-17142-5_6

关键词:

摘要: B.A. Trakhtenbrot proved that in frequency computability (introduced by G. Rose) it is crucially important whether the exceeds \(\frac{1}{2}\). If does then only recursive sets are frequency-computable. not exceed \(\frac{1}{2}\) a continuum of Similar results for finite automata were E.B. Kinber and H. Austinat et al. We generalize notion demanding specific structure correct answers. show if this described terms projective planes even \(O(\frac{\sqrt{n}}{n})\) ensures recursivity computable set. also with overlapping structures cannot be significantly decreased. introduce graph computation prove sufficient conditions \(G\) such can \(G\)-computed.

参考文章(13)
Jr. Marshall Hall, Combinatorial theory (2nd ed.) John Wiley & Sons, Inc.. ,(1998)
Robert McNaughton, The Theory of Automata, a Survey Advances in Computers. ,vol. 2, pp. 379- 421 ,(1961) , 10.1016/S0065-2458(08)60144-8
Dénes König, Sur les correspondances multivoques des ensembles Fundamenta Mathematicae. ,vol. 8, pp. 114- 134 ,(1926) , 10.4064/FM-8-1-114-134
Farid M. Ablaev, Rūsiņš Freivalds, Why Sometimes Probabilistic Algorithms Can Be More Effective mathematical foundations of computer science. pp. 1- 14 ,(1996) , 10.1007/BFB0016230
Till Tantau, Towards a Cardinality Theorem for Finite Automata mathematical foundations of computer science. pp. 625- 636 ,(2002) , 10.1007/3-540-45687-2_52
Rūsiņš Freivalds, Inductive Inference of Recursive Functions: Qualitative Theory Baltic Computer Science, Selected Papers. pp. 77- 110 ,(1991) , 10.1007/BFB0019357
Holger Austinat, Volker Diekert, Ulrich Hertrampf, Holger Petersen, Regular frequency computations Theoretical Computer Science. ,vol. 330, pp. 15- 21 ,(2005) , 10.1016/J.TCS.2004.09.007
E. B. Kinber, Frequency computations in finite automata Cybernetics and Systems Analysis. ,vol. 12, pp. 179- 187 ,(1977) , 10.1007/BF01069884
M. O. Rabin, D. Scott, Finite automata and their decision problems Ibm Journal of Research and Development. ,vol. 3, pp. 114- 125 ,(1959) , 10.1147/RD.32.0114
Valentina Harizanov, Martin Kummer, Jim Owings, Frequency Computations and the Cardinality Theorem Journal of Symbolic Logic. ,vol. 57, pp. 682- 687 ,(1992) , 10.2307/2275300