EntityQ438833· pop 11· linked from 225 articlesAlternating Turing machineSign in to saveabstract computation modelConnectionscomplexity classEntitynon-deterministic Turing machineEntityAlan TuringEntityInternational Standard Book NumberEntitydigital object identifierEntityTuring machineEntityformal languageEntity𝑛-tupleEntitycomputational complexity theoryEntityQ22908627EntitySpringer Science+Business MediaEntityNPEntityPEntityHandle SystemEntityboolean satisfiability problemEntityBoolean functionEntityCiteSeerXEntityChristos PapadimitriouEntityPSPACEEntityuniversal Turing machineEntityCategoriesModels of computation