Đặc tính máy của

là lớp các vấn đề quyết định có thể giải quyết được bởi một họ cácmạch độ sâu O ( log i n ) với các cổng OR không giới hạn OR và giới hạn-fanin AND. Tiêu cực chỉ được phép ở cấp đầu vào. Được biết, S Một C i cho i ≥ 1 được đóng dưới bổ sung và S Một C 0 thì không. Ngoài ra, S A C 1 = L o g C F L và do đó có đặc tính của máy, vìLogCFL$SAC^i$$O({\log}^i{n})$$SAC^i$$i \geq 1$$SAC^0$$SAC^1 = LogCFL$là tập hợp các ngôn ngữ được chấp nhận bởi giới hạn phụ của không gian và giới hạn thời gian đa thức. Có các đặc tính máy tương tự của S A C i cho i ≥ 2 không?$O({\log}n)$$SAC^i$$i \geq 2$

Đúng. Chiều cao chồng. , có nghĩa là, với O ( log n ) không gian và O ( log n ) ngăn xếp chiều cao; điều này ngụ ý các cấu hình log n và do đó log 2 ( n ) bit. Chúng ta có$\mathsf{SAC^1} = \mathsf{NAuxPDA}(\log n, \log n)$$O(\log n)$$O(\log n)$$\log n$$\log^2(n)$

$2^{\log^{k}(n)}$$\mathsf{P}$