user

ON EQUATIONS IN FREE MONOIDS AND SEMIGROUPS WITH RESTRICTIONS ON SOLUTIONS

被引：0
|
作者：
Durnev, V. G. [1 ]
Zetkina, A. I. [1 ]
机构：
[1] P G Demidov Yaroslavl State Univ, Yaroslavl, Russia
来源：
PRIKLADNAYA DISKRETNAYA MATEMATIKA | 2023年 / 59期
关键词：
systems of equations in free monoids and free semigroups; equations in words and lengths; equations with restrictions on solutions;
D O I：
10.17223/20710410/59/1
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
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.
引用
收藏
页码：5 / 19
页数：15
相关论文
共 50 条
12345