On equations in free monoids and semigroups with restrictions on solutions

DOI10.17223/20710410/59/1MaRDI QIDQ6168400zbMATH OpenFDO

Authors V. G. Durnev, A. I. Zetkina

Publication date 8 August 2023

Published in Prikladnaya Diskretnaya Matematika (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL http://mathnet.ru/eng/pdm791

zbMATH Keywords

equations in words and lengthsequations with restrictions on solutionssystems of equations in free monoids and free semigroups

Mathematics Subject Classification ID

Partial differential equations (35-XX) Computer science (68-XX)

Recommendations

• On equations and inequalities in words and word lengths
• scientific article; zbMATH DE number 146443
• Publication:4890617
• scientific article; zbMATH DE number 1114333
• On the system of word equations \(x^ i_ 1 x^ i_ 2\dots x^ i_ m=y^ i_ 1 y^ i_ 2\dots y^ i_ n\) \((i=1,2,\dots)\) in a free monoid

Cites work

• Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
• Existential Definability in Arithmetic
• scientific article; zbMATH DE number 1688361 (Why is no real title available?)
• scientific article; zbMATH DE number 4132435 (Why is no real title available?)
• scientific article; zbMATH DE number 3739824 (Why is no real title available?)
• scientific article; zbMATH DE number 3455248 (Why is no real title available?)
• scientific article; zbMATH DE number 3462133 (Why is no real title available?)
• scientific article; zbMATH DE number 3568673 (Why is no real title available?)
• scientific article; zbMATH DE number 3577484 (Why is no real title available?)
• scientific article; zbMATH DE number 3590511 (Why is no real title available?)
• scientific article; zbMATH DE number 6156 (Why is no real title available?)
• scientific article; zbMATH DE number 3805807 (Why is no real title available?)
• scientific article; zbMATH DE number 3343706 (Why is no real title available?)
• scientific article; zbMATH DE number 3355024 (Why is no real title available?)
• Makanin's algorithm for word equations-two improvements and a generalization
• On equations in free semigroups and groups
• Positive theories of free monoids
• The existential theory of equations with rational constraints in free groups is PSPACE-complete
• Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup

Cited in

(7)

• On the system of word equations \(x^ i_ 1 x^ i_ 2\dots x^ i_ m=y^ i_ 1 y^ i_ 2\dots y^ i_ n\) \((i=1,2,\dots)\) in a free monoid
• On the system of word equations \(x_{0} u^{i}_{1} x_{1} u^{i}_{2} x_{2} u^{i}_{3} x_{3}=y_{0} v^{i}_{1} y_{1} v^{i}_{2} y_{2} v^{i}_{3} y_{3}\) \((i=0,1,2,\ldots)\) in a free monoid
• scientific article; zbMATH DE number 4058892 (Why is no real title available?)
• scientific article; zbMATH DE number 1234888 (Why is no real title available?)
• Finite parametrization of solutions of equations in a free monoid. I
• Finding All Solutions of Equations in Free Groups and Monoids with Involution
• Ideals of equations for elements in a free group and context-free languages

This page was built for publication: On equations in free monoids and semigroups with restrictions on solutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6168400)