|
Записки научных семинаров ЛОМИ, 1977, том 68, страницы 123–139
(Mi znsl2005)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Упрощенное доказательство распознаваемости симметричности слов в реальное время на машинах Тьюринга
А. О. Слисенко
Аннотация:
Приводится сравнительно короткое доказательство распознаваемости симметричности слов в реальное время на многоленточных машинах Тьюринга. Оно основано на основных идеях первоначального доказательства, принадлежащего автору, и на идее Ц. Галила использовать для упрощения доказательства алгорифм Фишера–Пэтерсона для нахождения всех симметричных концов слова в линейное время. Библ. 7 назв.
Образец цитирования:
А. О. Слисенко, “Упрощенное доказательство распознаваемости симметричности слов в реальное время на машинах Тьюринга”, Теоретические применения методов математической логики. II, Зап. научн. сем. ЛОМИ, 68, Изд-во «Наука», Ленинград. отд., Л., 1977, 123–139; J. Soviet Math., 15:1 (1981), 68–77
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2005 https://www.mathnet.ru/rus/znsl/v68/p123
|
|