On equations in free monoids and semigroups with~restrictions on solutions
Prikladnaâ diskretnaâ matematika, no. 1 (2023), pp. 5-19

Voir la notice de l'article provenant de la source Math-Net.Ru

We study algorithmic problems for equations in free monoids and semigroups (equations in words and lengths) with additional restrictions on the solutions. It is proved that it is impossible to construct an algorithm that solves an arbitrary system of equations in words and lengths in a free monoid (free semigroup) of rank 2 with an additional constraint on the solution in the form that one of its components belongs to the language of balanced words or the equality of the projections of two components of the solution into a distinguished free generator to determine whether it has a solution. A similar result is obtained for systems of inequalities in words.
Keywords: systems of equations in free monoids and free semigroups, equations in words and lengths, equations with restrictions on solutions.
@article{PDM_2023_1_a0,
     author = {V. G. Durnev and A. I. Zetkina},
     title = {On equations in free monoids and semigroups with~restrictions on solutions},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {5--19},
     publisher = {mathdoc},
     number = {1},
     year = {2023},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2023_1_a0/}
}
TY  - JOUR
AU  - V. G. Durnev
AU  - A. I. Zetkina
TI  - On equations in free monoids and semigroups with~restrictions on solutions
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2023
SP  - 5
EP  - 19
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2023_1_a0/
LA  - ru
ID  - PDM_2023_1_a0
ER  - 
%0 Journal Article
%A V. G. Durnev
%A A. I. Zetkina
%T On equations in free monoids and semigroups with~restrictions on solutions
%J Prikladnaâ diskretnaâ matematika
%D 2023
%P 5-19
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2023_1_a0/
%G ru
%F PDM_2023_1_a0
V. G. Durnev; A. I. Zetkina. On equations in free monoids and semigroups with~restrictions on solutions. Prikladnaâ diskretnaâ matematika, no. 1 (2023), pp. 5-19. http://geodesic.mathdoc.fr/item/PDM_2023_1_a0/