The following problem is considered: check if a system of equations has a solution in every commutative finite semigroup. It is shown that the problem is decidable, and NP-complete. The problem is related with the pumping lemma for regular languages. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Parys, P. (2008). Systems of equations satisfied in all commutative finite semigroups. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4962 LNCS, pp. 261–272). https://doi.org/10.1007/978-3-540-78499-9_19
Mendeley helps you to discover research relevant for your work.