Аннотация:
В статье рассматривается финитарный подход к теории сложности вычислений. В частности, исследуются классы конечных равнодоступных адресных машин, строятся комбинированные зонно-временные сложностные иерархии классов предикатов (свойств), распознаваемых этими машинами. Библ. – 2 назв.
Полный текст:
PDF файл (146 kB)