Abstract
We give constructions of small probabilistic and MO-type quantum automata that have undecidable emptiness problem for the cut-point languages.
Supported by the Academy of Finland under grant 208797.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Blondel, V.D., Canterini, V.: Undecidable Problems for Probabilistic Automata of Fixed Dimension. Theory of Computing Systems 36, 231–245 (2003)
Blondel, V.D., Jeandel, E., Koiran, P., Portier, N.: Decidable and Undecidable Problems About Quantum Automata. SIAM Journal of Computing 34(6), 1464–1473 (2005)
Derksen, H., Jeandel, E., Koiran, P.: Quantum Automata and Algebraic Groups. Journal of Symbolic Computation 39, 357–371 (2005)
Claus, V.: Some Remarks on PCP(k) and Related Problems. Bulletin of EATCS 12, 54–61 (1980)
Eilenberg, S.: Automata, Languages, and Machines. Academic Press, San Diego (1974)
Halava, V., Harju, T., Hirvensalo, M.: Lowering the Undecidability Bounds for Integer Matrices Using Claus Instances of the PCP. TUCS Technical Report 766 (2006)
Harju, T., Karhumäki, J.: Morphisms. Springer, Heidelberg (1997)
Hirvensalo, M.: Quantum Computing, 2nd edn. Springer, Heidelberg (2003)
Matiyasevich, Y., Sénizergues, G.: Decision Problems for Semi-Thue Systems with a Few Rules. Theoretical Computer Science 330(1), 145–169 (2005)
Moore, C., Crutchfield, J.P.: Quantum Automata and Quantum Grammars. Theoretical Computer Science 237, 275–306 (2000)
Paz, A.: Introduction to Probabilistic Automata. Academic Press, San Diego (1971)
Renegar, J.: On the Complexity and Geometry of the First-Order Theory of the Reals. Journal of Symbolic Computation 13(3), 255–352 (1992)
Sheng, Y.: Regular Languages. Springer, Heidelberg (1997)
Świerczkowski, S.: On a Free Group of Rotations of the Euclidean Space. Indagationes Mathematicae 20, 376–378 (1958)
Świerczkowski, S.: A Class of Free Rotation Groups. Indagationes Mathematicae (N.S.) 5(2), 221–226 (1994)
Turakainen, P.: Generalized Automata and Stochastic Languages. Proceedings of American Mathematical Society 21, 209–303 (1969)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Hirvensalo, M. (2007). Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds) SOFSEM 2007: Theory and Practice of Computer Science. SOFSEM 2007. Lecture Notes in Computer Science, vol 4362. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69507-3_25
Download citation
DOI: https://doi.org/10.1007/978-3-540-69507-3_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69506-6
Online ISBN: 978-3-540-69507-3
eBook Packages: Computer ScienceComputer Science (R0)