Abstract
We investigate unary regular languages and compare deterministic finite automata (DFA’s), nondeterministic finite automata (NFA’s) and probabilistic finite automata (PFA’s) with respect to their size.
Given a unary PFA with n states and an ε-isolated cutpoint, we show that the minimal equivalent DFA has at most \(n^{\frac{1}{2\epsilon}}\) states in its cycle. This result is almost optimal, since for any α< 1 a family of PFA’s can be constructed such that every equivalent DFA has at least \(n^{\frac{\alpha}{2\epsilon}}\) states. Thus we show that for the model of probabilistic automata with a constant error bound, there is only a polynomial blowup for cyclic languages.
Given a unary NFA with n states, we show that efficiently approximating the size of a minimal equivalent NFA within the factor \(\frac{\sqrt{n}}{\ln n}\) is impossible unless P=NP. This result even holds under the promise that the accepted language is cyclic. On the other hand we show that we can approximate a minimal NFA within the factor ln n, if we are given a cyclic unary n-state DFA.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Chrobak, M.: Finite automata and unary languages. Theoretical Computer Science 47, 149–158 (1986)
Gantmacher, F.R.: Theory of Matrices, vol. II. Chelsea, New York (1959)
Graham, R., Knuth, D., Patashnik, O.: Concrete Mathematics. Addison Wesley, Reading (1989)
Jiang, T., McDowell, E., Ravikumar, B.: The structure and complexity of minimal NFA’s over a unary alphabet. Int. J. Found. of Comp. Sci. 2, 163–182 (1991)
Jiang, T., Ravikumar, B.: Minimal NFA problems are hard. SIAM Journal on Computing 22(1), 1117–1141 (1993)
Hochbaum, D. (ed.): Approximation algorithms for NP-hard problems. PWS Publishing Company, Boston (1997)
Mereghetti, C., Palano, B., Pighizzini, G.: On the succinctness of deterministic, nondeterministic, probabilistic and quantum finite automata, DCAGRS (2001)
Milani, M., Pighizzini, G.: Tight bounds on the simulation of unary probabilistic automata by deterministic automata, DCAGRS (2000)
Rabin, M.: Probabilistic automata. Information and Control, pp. 230–245 (1963)
Stockmeyer, L., Meyer, A.: Word Problems Requiring Exponential Time. In: Proc. of the 5th Ann. ACM Symposium on Theory of Computing, pp. 1–9. New York (1973)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gramlich, G. (2003). Probabilistic and Nondeterministic Unary Automata. In: Rovan, B., Vojtáš, P. (eds) Mathematical Foundations of Computer Science 2003. MFCS 2003. Lecture Notes in Computer Science, vol 2747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45138-9_40
Download citation
DOI: https://doi.org/10.1007/978-3-540-45138-9_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40671-6
Online ISBN: 978-3-540-45138-9
eBook Packages: Springer Book Archive