An ATM decides a formal language in time t ( n ) {\displaystyle t(n)} if, on any input of length n, examining configurations only up to t ( n ) {\displaystyle t(n)} steps is sufficient to label the initial configuration as accepting or rejecting.
ATS odlučuje formalni jezik u vremenu t ( n ) {\displaystyle t(n)} ako, za bilo koji ulaz duljine n {\displaystyle n} , ispitivanje konfiguracija u najviše t ( n ) {\displaystyle t(n)} koraka je dovoljno za označavanje početne konfiguracije prihvaćajućom ili odbacujućom.