Combined hierarchies of finite random access machines
Zapiski Nauchnykh Seminarov POMI, Computational complexity theory. Part VI, Tome 277 (2001), pp. 5-13
Citer cet article
Voir la notice du chapitre de livre provenant de la source Math-Net.Ru
A finitary approach to the computational complexity theory is considered in the article. Classes of finite random access machines are investigated. Combined space-and-time computational complexity hierarchies of predicates (properties, sets) recognizable by these machines are built. The corresponding theorem is proved.