书目详细信息 : 亚对数空间限定多墨水点交替式下推自动机的计算复杂性