Show simple item record

dc.contributor.authorLoui, Michael C.en_US
dc.date.accessioned2023-03-29T14:15:11Z
dc.date.available2023-03-29T14:15:11Z
dc.date.issued1979-11
dc.identifier.urihttps://hdl.handle.net/1721.1/148972
dc.description.abstractLet L be a language recognized by a nondeterministic Turing machine with one d-dimensional worktape of time complexity T(n). Then L can be recognized by a deterministic Turing machine of space complexity (T(n)logT(n))^d/d+1. The prood employs a generalized crossing sequence argument.en_US
dc.relation.ispartofseriesMIT-LCS-TM-145
dc.titleA Space Bound for One-tape Multidimensional Turing Machinesen_US
dc.identifier.oclc6076897


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record