Continuazione dim ATIME \subseteq DSPACE.