|
Известия высших учебных заведений. Математика, 2014, номер 9, страницы 80–86
(Mi ivm8933)
|
|
|
|
Краткие сообщения
Вычислительные возможности односторонних машин Тьюринга с сублогарифмическими ограничениями на память
А. Н. Лещев Кафедра теоретической кибернетики, Казанский (Приволжский) Федеральный университет, ул. Кремлевская, д. 18, г. Казань, 420008, Россия
Аннотация:
В статье рассматривается известная модель машины Тьюринга – недетерминированная односторонняя машина Тьюринга. Доказывается существование невырожденных (нерегулярных) классов сложности языков, распознаваемых недетерминированными односторонними машинами Тьюринга с сублогарифмическими ограничениями на память. Показывается, что соответствующие классы сложности образуют строгую иерархию. Для доказательства иерархии определяется семейство языков специального вида и доказываются некоторые их свойства.
Ключевые слова:
односторонняя машина Тьюринга, недетерминированная машина Тьюринга, ограничение на память.
Образец цитирования:
А. Н. Лещев, “Вычислительные возможности односторонних машин Тьюринга с сублогарифмическими ограничениями на память”, Изв. вузов. Матем., 2014, № 9, 80–86; Russian Math. (Iz. VUZ), 58:9 (2014), 66–70
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ivm8933 https://www.mathnet.ru/rus/ivm/y2014/i9/p80
|
Статистика просмотров: |
Страница аннотации: | 179 | PDF полного текста: | 56 | Список литературы: | 49 | Первая страница: | 13 |
|