Abstract
A word w over a finite alphabet Σ is n-collapsing if for an arbitrary DFA \({\mathcal A}=\langle Q,\Sigma,\delta\rangle\), the inequality |δ(Q,w)| ≤ |Q| − n holds provided that |δ(Q,u)| ≤ |Q| − n for some word u∈Σ + (depending on \({\mathcal A}\)). We overview some recent results related to this notion. One of these results implies that the property of being n-collapsing is algorithmically recognizable for any given positive integer n.
The authors acknowledge support from the Federal Education Agency of Russia, grants 49123 and 04.01.437, the Russian Foundation for Basic Research, grant 05-01-00540, and the Federal Science and Innovation Agency of Russia, grant 2227.2003.01
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
Almeida, J., Volkov, M.V.: Profinite identities for finite semigroups whose subgroups belong to a given pseudovariety. J. Algebra Appl. 2, 137–163 (2003)
Almeida, J., Volkov, M.V.: Subword complexity of profinite words and subgroups of free profinite semigroups. Int. J. Algebra Comp. (accepted)
Ananichev, D.S., Cherubini, A., Volkov, M.V.: Image reducing words and subgroups of free groups. Theor. Comput. Sci. 307(1), 77–92 (2003)
Ananichev, D.S., Cherubini, A., Volkov, M.V.: An inverse automata algorithm for recognizing 2-collapsing words. In: Ito, M., Toyama, M. (eds.) DLT 2002. LNCS, vol. 2450, pp. 270–282. Springer, Heidelberg (2003)
Ananichev, D.S., Volkov, M.V.: Collapsing words vs. synchronizing words. In: Kuich, W., Rozenberg, G., Salomaa, A. (eds.) DLT 2001. LNCS, vol. 2295, pp. 166–174. Springer, Heidelberg (2002)
Ananichev, D.S., Petrov, I.V.: Quest for short synchronizing words and short collapsing words. In: Proc. 4th Int. Conf. on WORDS, Univ. of Turku, Turku, pp. 411–418 (2003)
Bergman, C., Slutzki, G.: Complexity of some problems concerning varieties and quasi-varieties of algebras. SIAM J. Comput. 30, 359–382 (2000)
Burris, S., Lawrence, J.: Results on the equivalence problem for finite groups. Dept. Pure Math., Univ. of Waterloo (preprint)
Černý, J.: Poznámka k homogénnym eksperimentom s konecnými automatami. Mat.-Fyz. Cas. Slovensk. Akad. Vied 14, 208–216 (1964) (in Slovak)
Frankl, P.: An extremal problem for two families of sets. Eur. J. Comb. 3, 125–127 (1982)
Lawrence, J.: The complexity of the equivalence problem for nonsolvable groups. Dept. Pure Math., Univ. of Waterloo (preprint)
Margolis, S.W., Pin, J.-E., Volkov, M.V.: Words guaranteeing minimum image. Int. J. Foundations Comp. Sci. 15, 259–276 (2004)
Mateesku, A., Salomaa, A.: Aspects of classical language theory. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, Word. Language, Grammar, vol. I, pp. 175–251. Springer, Heidelberg (1997)
Moore, E.: Gedanken-experiments with sequential machines. In: Shannon, C.E., McCarthy, J. (eds.) Automata Studies Ann. Math. Studies, vol. 34, pp. 129–153. Princeton Univ. Press, Princeton (1956)
Pin, J.-E.: Utilisation de l’algèbre linéaire en théorie des automates. In: Actes du 1er Colloque AFCET-SMF de Mathématiques Appliquées, AFCET, Tome II, pp. 85–92 (1978) (in French)
Pin, J.-E.: On two combinatorial problems arising from automata theory. Ann. Discrete Math. 17, 535–548 (1983)
Pöschel, R., Sapir, M.V., Sauer, N., Stone, M.G., Volkov, M.V.: Identities in full transformation semigroups. Algebra Universalis 31, 580–588 (1994)
Pribavkina, E.V.: On some properties of the language of 2-collapsing words. In: De Felice, C., Restivo, A. (eds.) DLT 2005. LNCS, vol. 3572, pp. 374–384. Springer, Heidelberg (2005)
Reilly, N.R., Zhang, S.: Decomposition of the lattice of pseudovarieties of finite semigroups induced by bands. Algebra Universalis 44, 217–239 (2000)
Sauer, N., Stone, M.G.: Composing functions to reduce image size. Ars Combinatoria 31, 171–176 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ananichev, D.S., Petrov, I.V., Volkov, M.V. (2005). Collapsing Words: A Progress Report. In: De Felice, C., Restivo, A. (eds) Developments in Language Theory. DLT 2005. Lecture Notes in Computer Science, vol 3572. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11505877_2
Download citation
DOI: https://doi.org/10.1007/11505877_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26546-7
Online ISBN: 978-3-540-31682-4
eBook Packages: Computer ScienceComputer Science (R0)