Abstract
Motivated by the application to image compression (K. Čulík II, J. Kari, “Image compression using weighted finite automata”, Computers & Graphics, 1993), the paper considers finite automata representing formal languages with all strings of the same length, and investigates relative succinctness of representation by deterministic and nondeterministic finite automata (DFA, NFA). It is shown that an \(n\)-state NFA recognizing a language of strings of length \(\ell \) over a \(k\)-symbol alphabet can be transformed to a DFA with at most \(\ell \cdot k^{\sqrt{\frac{2}{\log _2 k}n + 3\ell + 3}} = 2^{O(\sqrt{n})}\) states. At the same time, for every \(k\)-symbol alphabet with \(k \geqslant 2\), and for every \(n \geqslant 1\), there exists an \(n\)-state NFA recognizing an equal-length language, which requires a DFA with at least \(k^{\sqrt{\frac{n}{k-1}} - 2} = 2^{\Omega (\sqrt{n})}\) states.
Supported by the Academy of Finland under grant 257857.
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
Amilhastre, J., Janssen, P., Vilarem, M.-C.: FA Minimisation Heuristics for a Class of Finite Languages. In: Boldt, O., Jürgensen, H. (eds.) WIA 1999. LNCS, vol. 2214, p. 1. Springer, Heidelberg (2001)
Barnsley, M.F.: Fractals Everywhere, Academic Press Professional (1988)
Berstel, J., Morcrette, M.: Compact representation of patterns by finite automata. In: Gagalowicz, A. (Ed.) Pixim 1989: L’Image Numérique à Paris, pp. 387–402 (1989)
Seuring, M., Gössel, M.: A Structural Method for Output Compaction of Sequential Automata Implemented as Circuits. In: Boldt, O., Jürgensen, H. (eds.) WIA 1999. LNCS, vol. 2214, p. 158. Springer, Heidelberg (2001)
Chrobak, M.: Finite automata and unary languages, Theoretical Computer Science, 47, 149–158 (1986); Errata: 302, 497–498 (2003)
Čulík II, K., Dube, S.: Rational and affine expressions for image description. Discrete Applied Mathematics 41(2), 85–120 (1993)
Čulík II, K., Karhumäki, J.: Finite automata computing real functions. SIAM Journal on Computing 23(4), 789–814 (1994)
Čulík II, K., Kari, J.: Image compression using weighted finite automata. Computers & Graphics 17(3), 305–313 (1993)
Čulík II, K., Kari, J.: Image-data compression using edge-optimizing algorithm for WFA inference. Information Processing & Management 30(6), 829–838 (1994)
Derencourt, D., Karhumäki, J., Latteux, M., Terlutte, A.: On continuous functions computed by finite automata. RAIRO Informatique Théorique et Applications 28, 387–404 (1994)
Geffert, V., Mereghetti, C., Pighizzini, G.: Converting two-way nondeterministic unary automata into simpler automata. Theoretical Computer Science 295(1–3), 189–203 (2003)
Gruska, J.: Descriptional complexity of context-free languages. In: Mathematical Foundations of Computer Science (MFCS 1973 Strbské Pleso, High Tatras, Czechoslovakia, 3–8 September), 71–83 (1973)
Han, Y.-S., Salomaa, K.: State complexity of union and intersection of finite languages. International Journal of Foundations of Computer Science 19(3), 581–595 (2008)
Kapoutsis, C.A.: Removing Bidirectionality from Nondeterministic Finite Automata. In: Jedrzejowicz, J., Szepietowski, A. (eds.) MFCS 2005. LNCS, vol. 3618, pp. 544–555. Springer, Heidelberg (2005)
Karhumäki, J., Kari, J.: Finite automata, image manipulation and automatic real functions. In: Pin, J.-É. (Ed.) Handbook of Automata, European Mathematical Society, to appear
Karhumäki, J., Plandowski, W., Rytter, W.: The complexity of compressing subsegments of images described by finite automata. Discrete Applied Mathematics 125(2–3), 235–254 (2003)
Karhumäki, J., Sallinen, T.: Weighted Finite Automata: Computing with Different Topologies. In: Calude, C.S., Kari, J., Petre, I., Rozenberg, G. (eds.) UC 2011. LNCS, vol. 6714, pp. 14–33. Springer, Heidelberg (2011)
Černo, Peter, Mráz, František: \(\Delta \)-Clearing Restarting Automata and CFL. In: Mauri, Giancarlo, Leporati, Alberto (eds.) DLT 2011. LNCS, vol. 6795, pp. 153–164. Springer, Heidelberg (2011)
Leung, H.: Descriptional complexity of NFA of different ambiguity. International Journal of Foundations of Computer Science 16(5), 975–984 (2005)
Lupanov, O.B.: A comparison of two types of finite automata (in Russian). Problemy Kibernetiki 9, 321–326 (1963)
Mandl, R.: Precise bounds associated with the subset construction on various classes of nondeterministic finite automata. In: 7th Princeton Conference on Information and System Sciences, 263–267 (1973)
Moore, F.R.: On the bounds for state-set size in the proofs of equivalence between deterministic, nondeterministic, and two-way finite automata. IEEE Transactions on Computers 20, 1211–1214 (1971)
Okhotin, A.: Unambiguous finite automata over a unary alphabet. Information and Computation 212, 15–36 (2012)
Rabin, M.O., Scott, D.: Finite automata and their decision problems. IBM Journal of Research and Development 3, 114–125 (1959)
Salomaa, K., Yu, S.: NFA to DFA transformation for finite languages over arbitrary alphabets. Journal of Automata, Languages and Combinatorics 2(3), 177–186 (1997)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Karhumäki, J., Okhotin, A. (2014). On the Determinization Blowup for Finite Automata Recognizing Equal-Length Languages. In: Calude, C., Freivalds, R., Kazuo, I. (eds) Computing with New Resources. Lecture Notes in Computer Science(), vol 8808. Springer, Cham. https://doi.org/10.1007/978-3-319-13350-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-13350-8_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-13349-2
Online ISBN: 978-3-319-13350-8
eBook Packages: Computer ScienceComputer Science (R0)