|
Zapiski Nauchnykh Seminarov LOMI, 1971, Volume 20, Pages 104–114
(Mi znsl2401)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
On real-time recognition of the relation of occurrence
Yu. V. Matiyasevich
Abstract:
It is shown that the relation "word $Q$ occurs in word $P$" is real-time recognizable by a Turing machine with two-dimensional tape.
Citation:
Yu. V. Matiyasevich, “On real-time recognition of the relation of occurrence”, Studies in constructive mathematics and mathematical logic. Part IV, Zap. Nauchn. Sem. LOMI, 20, "Nauka", Leningrad. Otdel., Leningrad, 1971, 104–114
Linking options:
https://www.mathnet.ru/eng/znsl2401 https://www.mathnet.ru/eng/znsl/v20/p104
|
Statistics & downloads: |
Abstract page: | 438 | Full-text PDF : | 174 |
|