Abstract
Word equation in a special form X = A, where X is a sequence of variables and A is a sequence of constants, is considered. The problem whether X = A has a solution over a free monoid (pattern- equation problem) is shown to be NP-complete. It is also shown that disjunction of a special type equation systems and conjunction of the general ones can be eliminated. Finally, the case of stuttering equations where the word identity is read modulo x 2 = x is mentioned.
The paper is supported by the Grant Agency of the Czech Republic, grant No. 201/97/0456 and by grant FRVŠ 409/199
Acknowledegments
The authors would like to thank the anonymous referee for pointing out the paper [3].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Brim L., Gilbert D. R., Jacquet J.-M., Křetìnský M.: A Process Algebra for Synchronous Concurrent Constraint Programming, Proceedings of Fifth International Conference on Algebraic and Logic Programming (ALP’ 96), LNCS volume 1139 (1996) 165–178, Springer-Verlag.
Černá I., Klìma O., Srba J.: On the Pattern Equations, Technical Report FIMURS-99-01, Faculty of Informatics, Masaryk University Brno (1999).
Diekert V., Robson J. M.: On Quadratic Word Equations, In Proceedings of 16th Annual Symposium on Theoretical Aspects of Computer Science (STACS’ 99), LNCS volume 1563 (1999) 217–226, Springer-Verlag.
Green J. A., Rees D.: On semigroups in which xr = x, Proc. Camb. Phil. Soc. 48 (1952) 35–40.
Kopeček I.: Automatic Segmentation into Syllable Segments, Proceedings of First International Conference on Language Resources and Evaluation (1998) 1275–1279.
Kopeček I., Pala K.: Prosody Modelling for Syllable-Based Speech Synthesis, Proceedings of the IASTED International Conference on Artificial Intelligence and Soft Computing, Cancun (1998) 134–137.
Lothaire M.: Algebraic Combinatorics on Words, Preliminary version available at http://www-igm.univ-mlv.fr/ berstel/Lothaire/index.html.
Lothaire, M.: Combinatorics onWords, Volume 17 of Encyclopedia of Mathematics and its Applications (1983) Addison-Wesley.
Kad’ourek J., Polák L.: On free semigroups satisfying xr = x,Simon Stevin 64, No. 1 (1990) 3–19.
Klìma O., Srba J.: Complexity Issues of the Pattern Equations in Idempotent Semigroups, Technical Report FIMU-RS-99-02, Faculty of Informatics, Masaryk University (1999).
Makanin, G. S.: The Problem of Solvability of Equations in a Free Semigroup, Mat. Sbornik. 103(2) (1977) 147–236. (In Russian) English translation in: Math. USSR Sbornik 32 (1977) 129-198.
Papadimitriou, C. H.: Computational Complexity, Addison-Wesley Publishing Company (1994), Reading, Mass.
Schulz, K. U.: Makanin’s Algorithm for Word Equations: Two Improvements and a Generalization, In Schulz, K.—U. (Ed.), Proceedings of Word Equations and Related Topics, 1st International Workshop, IWW-ERT’90, Tü:bingen, Germany, LNCS volume 572 (1992) 85–150, Berlin-Heidelberg-New York, Springer Verlag.
Siekmann J., Szabó P.: A Noetherian and Confluent Rewrite System for Idempotent Semigroups, Semigroup Forum 25 (1982).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Černá, I., Klíma, O., Srba, J. (1999). Pattern Equations and Equations with Stuttering. In: Pavelka, J., Tel, G., Bartošek, M. (eds) SOFSEM’99: Theory and Practice of Informatics. SOFSEM 1999. Lecture Notes in Computer Science, vol 1725. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47849-3_24
Download citation
DOI: https://doi.org/10.1007/3-540-47849-3_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66694-3
Online ISBN: 978-3-540-47849-2
eBook Packages: Springer Book Archive