|
Zapiski Nauchnykh Seminarov LOMI, 1974, Volume 40, Pages 24–29
(Mi znsl2678)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
On solutions of systems consisting both of word equationa and of word length inequalities
N. K. Kossovski
Abstract:
It is proved that systems named in the title are undecidable. Moreover some undecidable set $M$ can be represented in the form $a\in M\Leftrightarrow\exists x_1\dots x_n P$ where $P$ is a system of the above mentioned form. However some recursive set cannot be represented in this form.
Citation:
N. K. Kossovski, “On solutions of systems consisting both of word equationa and of word length inequalities”, Studies in constructive mathematics and mathematical logic. Part VI, Zap. Nauchn. Sem. LOMI, 40, "Nauka", Leningrad. Otdel., Leningrad, 1974, 24–29
Linking options:
https://www.mathnet.ru/eng/znsl2678 https://www.mathnet.ru/eng/znsl/v40/p24
|
Statistics & downloads: |
Abstract page: | 200 | Full-text PDF : | 84 |
|